add properties of real numbers