closed01-rs
Closed01 provides checked floating point operations within the range [0,1]