"Verify 0xcccccd is the best 24 bit mantissa for 0.1" A = 13421773 / 2^27 -- 0xcccccd = 13421773 B = 13421772 / 2^27 -- 0xcccccc = 13421772 check(A == 100000001490116119384765625 / 10^27) check(B == 099999994039535522460937500 / 10^27) C = 1/10 check(A - C < C - B) "ok" Run