I have clarified that IEEE 64-bit floats are insufficient to serve as timespecs, because is now guaranteed that whatever is passed to the timespec constructor is eqv? to whatever is returned by the accessors.

I also explained how an implementation may and may not use a fixnum check if the representation of a timestamp is not disjoint.