property of real numbers 58.0=100​