allowing real numbers