(Ffloat_time): Fix off-by-factor-of-10 bug in the