Why no fraction in FloatingPoint?

There's some discussion about this here, but I'm not sure if it answers your question, exactly. The part about remainder moving the discontinuity away from 0 might be relevant.