Numerical formats used by TorchLean

FloatLib supplies generic formats, arithmetic, rounding, and interval theory. This umbrella adds TorchLean's rounded-real specialization, interval endpoint contracts, quantization imports, and external Arb interface. Use FloatLib's configured formats and scalar operations directly.