if type of time is numeric (double, not integer) this may cause floating point differences that are very confusing, as not indicated by error message
if type of time is numeric (double, not integer) this may cause floating point differences that are very confusing, as not indicated by error message