You can do a meaningful arithmetic with any real you're able to enter into the machine [0], and the tidbit they took the time to share makes sense even in that sort of restricted context.

[0] https://blog.acolyer.org/2020/10/02/toward-an-api-for-the-re...