samples 1000000: max |computed - exact| = 9.568 u (Lemma 5 allows 24 u); worst: 96 1bc14e1e8 35e607c3d23fb22b 0x1.5837c009b417cp-1 0x1.7b05c87c6b5dbp-1
