Fix floating point issue with time in debugging.