Total FP32 Refinement Bridge #
The modules exported here connect executable binary32 operations to real-valued rounding formulas while retaining explicit NaN and infinity branches.
The modules exported here connect executable binary32 operations to real-valued rounding formulas while retaining explicit NaN and infinity branches.