added TODOs about potential overflows in core_i64_hex_format() and core_i64_oct_format()