/*
* LDBL_MIN is half the x86 LDBL_MIN, even though both are 12-byte
* floats with the same base properties and both allegedly
* IEEE-compliant, because both these representations materialize the
* top (integer-part) bit of the mantissa. But on m68k if the exponent
* is 0 and the integer bit is set, it's a regular number, whereas on
* x86 it's called a pseudo-denormal and apparently treated as a
* denormal, so it doesn't count as a valid value for LDBL_MIN.
*
* x86 citation: Intel 64 and IA-32 Architectures Software Developer's
* Manual, vol. 1 (Order Number: 253665-077US, April 2022), Sec. 8.2.2
* `Unsupported Double Extended-Precision Floating-Point Encodings
* and Pseudo-Denormals', p. 8-14.
*
* m86k citation: MC68881/MC68882 Floating-Point Coprocessor User's
* Manual, Second Edition (Prentice-Hall, 1989, apparently issued by
* Freescale), Section 3.2 `Binary Real Data formats', pg. 3-3 bottom
* in particular and pp. 3-2 to 3-5 in general.
*
* If anyone needs to update this comment please make sure the copy in
* x86/include/float.h also gets updated.
*/
