Simplified real numbers