 The existence of real numbers \(r\) for which the intuitionist cannot decide whether they are positive or not shows that certain classically total functions cease to be so in an intuitionistic setting, such as the piecewise constant function