Radix-parametric fixed-point formats #

This is the public entry point for exact and fixed-width fixed-point arithmetic. It exports the unbounded exact model, the common configured ExecFloat.FixedPoint carrier, explicit bounded overflow policies, numerical automation, and #float_info support.

The exact and bounded submodules remain independently importable for internal developments.