☰
f32s
🌌f32s
f32s -- unit type defining features related to f32 but not requiring an
instance
f32 are binary32-numbers as defined in the IEEE 754-2019 standard, see
https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
redefines floats.exponentBits:
number of bits used for exponent
redefines floats.significandBits:
number of bits used for mantissa, including leading '1' that is not actually
stored