one shall not use $Inf