Numerical formats used by TorchLean

FloatLib supplies generic formats, arithmetic, rounding, interval theory, and the affine quantizer. This umbrella adds TorchLean's rounded-real FP32 specialization and the external Arb oracle. Use FloatLib's configured formats and scalar operations directly.