format_integer    789 src/write.c                        format_integer(out, arg, params, numParams, 10,
format_integer    803 src/write.c                        format_integer(out, arg, params, numParams, 2,
format_integer    817 src/write.c                        format_integer(out, arg, params, numParams, 8,
format_integer    831 src/write.c                        format_integer(out, arg, params, numParams, 16,