“Thus, 1 is actually a function with the two bound variables f and x. Just offhand, those two variables seem like two more variables than are needed to define a simple number.”