Format-generic executable intervals

Public entry point for Model.Interval fmt, including endpoint construction, outward-rounded arithmetic, conservative division, elementary activation ranges, and proof-aware #float_info inspection.