Just an observation, I didn't mean to say that it is bad. It's a bit grating, if you are not used to it, but there are no real harm to it, when an actual number is just one Wikipedia search or one Google search or, sigh, one chatbot prompt away.