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,