Fix a floating point bug in IterativeFixTime