Lines Matching defs:number
754 If not, FILE.1 is tried, then FILE.2, etc. The first FILE.<number>
1353 size = 512; /* number of bytes fm->contents can
1368 /* Normally, we grow SIZE exponentially to make the number
1646 /* Write the number into the buffer, backwards, inserting the
1718 That way N/1024.0 produces a decimal number in the units of
1734 /* Count the digits in the provided number. Used to allocate space
1738 numdigit (wgint number)
1741 if (number < 0)
1743 while ((number /= 10) != 0)
1750 /* DIGITS_<D> is used to print a D-digit number and should be called
1782 `sprintf(buffer, "%lld", (long long) number)', only typically much
1795 the number to take up. On machines with 64-bit wgints the maximum
1797 largest 64-bit number, the `-' sign in case it's negative, and the
1801 number_to_string (char *buffer, wgint number)
1804 wgint n = number;
1835 /* Use the DIGITS_ macro appropriate for N's number of digits. That
1849 /* wgint is 32 bits wide: no number has more than 10 digits. */
1907 a) you cannot use printf("%ld", number) because wgint can be long
1909 b) you cannot use printf("%lld", number) because NUMBER could be
1912 c) you cannot use printf("%j", (int_max_t) number) because not all
1916 printf(WGINT_FMT, number) because that would break translations
1918 bytes\n", number).
1921 (number)).
1934 number_to_static_string (wgint number)
1939 number_to_string (buf, number);
1980 /* Return a random number between 0 and MAX-1, inclusive.
1985 The random number generator is seeded automatically the first time
2023 /* Return a random uniformly distributed floating point number in the
2470 /* Print a decimal number. If it is equal to or larger than ten, the
2471 number is rounded. Otherwise it is printed with one significant
2482 print_decimal (double number)
2485 double n = number >= 0 ? number : -number;
2490 snprintf (buf, sizeof buf, "%.0f", number);
2492 snprintf (buf, sizeof buf, "%.1f", number);
2494 snprintf (buf, sizeof buf, "%.1g", number);
2497 snprintf (buf, sizeof buf, "%.3f", number);