The most puzzling about the existing code isn't that someone wrote it, it is that some read it and thought "yeah, this does make sense. We have compiler time, run time, and now proof time. Let's smash that accept button."
Change the type to use seconds, because this is what the network stack uses anyways and this is where it is consumed.