[LPisGood]

Here is a paper on just how a serious ultrafinitist copes with that https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/...

The short answer is that they deal with such things symbolically.