You have to make a distinction between the intensional and extensional domain. Real numbers are merely infinite decimal expansions, where "infinite" is a conven

You have to make a distinction between the intensional and extensional domain. Real numbers are merely infinite decimal expansions, where "infinite" is a convenience term (semantically no different from "really big"). I believe the mantra is "π is a rule, not a thing".