real_float 0.1.0

Floating point types that check for correctness and implement total ordering
Documentation