type is int64. While lua is setup for the representation, it's not setup to properly print the numbers as ints. This is the least-gross way around that, and won't affect the bootloader where we do this.
almost certainly need to override this, so reinforce that. If that's not hte case, clients can always do a #include luaconf.h.dist.