yes, I also thought about that rounding, but in the end I trusted the existing code, do we need rounding at all? <double>.seconds?