The program is based upon a conventional radix representation for floating-point numbers, but also allows logarithmic encoding as used by certain early WANG machines. Recalculating radix and precision confirms closest relative separation U1 . The number of significant digits of the Radix is 24.000000 . Some subexpressions appear to be calculated extra precisely with about 40 extra B-digits, i.e. roughly 12.0412 extra significant decimals. That feature is not tested further by this program.
Multiplication appears to round correctly.
Division appears to round correctly. Checking for sticky bit. Sticky bit apparently used correctly. Testing on 20 random pairs. No failures found in 20 integer pairs.