The Spanish are the "original bureaucrats" who try to keep precise records.  English like to ridicule this as self-aggrandizing but really it's just a nod to a long history and the recognition that details are important and can be forgotten over time.

That said, were these numbers given to someone in the present time to be used for something the Germans would be precise about it and the Spanish would round-up.