Lines Matching refs:format
193 # floating-point format, so that double rounding would sometimes yield
219 # Two values representable in the same format with sum very close to
4494 # Test values either side of overflow for each floating-point format.
4848 # Cases where the ratio of two values in a wider format is very close
4849 # to half way between two representable values in a narrower format,
4851 # a narrower format of width a and a wider format of width w, take
4854 # ratios of the form (1 + 2^-a) to the width of the wider format, but
4873 # Cases where there is underflow before rounding (for some format) but
5885 # the next values yield large errors in the binary32 format
6678 # Cases where the product of two values in a wider format is very
6680 # format, so that double rounding would sometimes yield the wrong
6683 # format, b is greater than the width of the wider format and factors
6685 # within the wider format.
6702 # Cases where there is underflow before rounding (for some format) but
7519 # floating-point format, so that double rounding would sometimes yield
7545 # Two values representable in the same format with difference very
8388 # the next three values yield the largest error in the binary32 format