real_float 0.1.1

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