with real numbers