Inspection for configured bounded fixed point

This optional meta module registers #float_info for the promoted ExecFloat.BoundedFixedPoint wrapper. It reports the selected coefficient width and radix scale, then exposes only theorem-backed wrapping, checked, and saturating guarantees.

Keeping inspection optional prevents elaborator support from entering ordinary runtime imports. The profile mirrors the raw family while naming the configured public operations users actually call.