This "upcasting" and "downcasting" also work with mathematics itself. For example, we can consider adding infinitesimals to the real numbers, allowing us to do calculus without taking limits. Then we can downcast back to the real numbers.