pub const LUA_NUMBER_FMT: &[u8; 6] = b"%.14g\0";