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