the most embarrassing rounding error known to man