TotalOrder
trait for floating point numbers
#295
Merged
TotalOrder
trait for floating point numbers
#295