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 lists the theorem-backed guarantees for the three overflow options.

Keeping inspection optional keeps elaborator support out of ordinary runtime imports. The profile mirrors the raw family but names the configured public operations that users call.