TorchLean's rounded-real binary32 specialization

FP32 specializes FloatLib's NF to binary32 precision and gradual underflow, with no upper exponent bound. These modules retain TorchLean's error bounds, notation, and exact-subtraction corollaries. Encoded binary32 values and exceptional arithmetic use FloatLib's configured ExecFloat.Binary 8 23 format.