Float correctness