X >> Real Numbers