The inexact->timespec and timespec->inexact procedures should probably
forbid inexact integers, just to state the obvious. If there are missing
digits in the integer part, it's not obvious how to interpret that.

What is the canonical term to talk about inexact floats - do we call
them floats, real numbers, or something else?