Posit inspection

#float_info reports posit storage, arithmetic capabilities, and applicable rounding and quire theorems. The descriptor and synthesized instances determine which width-dependent backends apply. The quire theorem list is shared with Quire.Info.

def FloatLib.Floats.Formats.Posit.FloatInfo.profile (bits : ℕ) (storage : String) : ExecFloat.FormatProfile

Describe posit representations, operation contracts, and applicable refinement theorems.