超準解析なら∞は実数だけどな。