Inspection for configured exact fixed point

This optional meta module registers #float_info for ExecFloat.FixedPoint. The executable configured type remains independently importable without editor elaborators or the public proof module.