The main issue with techniques such as this, which are certainly easy to do, is that if it’s not in the type system and therefore not checked at compile time, you pay a run time cost for these abstractions.

You can't represent the interval from 0 to 1 inclusive without significant run time cost just because of the way floats work.