Also turn a set of `get_biased_exponent() == 0` into `is_subnormal()` which is clearer.
FloatProperties
FPBits