Rule out roundoff errors in floating point time input, issues with
precision are still open...