Closed talex5 closed 11 months ago
Split out from #599 to make review easier.
Some minor changes:
float_of_time
Split out from #599 to make review easier.
Some minor changes:
float_of_time
now ensures the integer part is always correct.