real_float 0.3.0

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