Maybe thousands separator should be an eventual number format setting in goal options. I don’t know if everyone cares for a thousands separator, and the appropriate separation convention differs by region.
But they certainly make sense in @apolyton’s case (and prob also in case of at least a couple of my goals)