Infinite calculus should be separate from real numbers.
Infinite calculus should be separate from real numbers.