How do you work with smooth functions without using reals?