(Ffloat_time): Doc fix (Bug#2768).