* Fixed a bug introduced by the previous commit; timestamps with floating time could...