floating-point precision missing examples