Interval adapters for TorchLean scalar formats

FloatLib supplies the generic interval theory and directed arithmetic. These modules connect it to TorchLean's rounded-real FP32 and configured ExecFloat.Binary 8 23 endpoints. The Arb enclosure adapter remains a separate import because it uses an external oracle.