RealOrd linearly_orders REAL