 The arithmetic operations on real numbers are computable.While the equality relation is not decidable, the greater-than predicate on unequal real numbers is decidable.The uniform norm operator is also computable.