>> They do not account for unusable IPv4 addresses due to subnet structures, of which there are probably some within the theoretical IPv4 space available to a provider

You wouldn’t believe what a nation with an incredibly cheap labour can do. I can see how they just allocate a few engineers-technicians just to do allocation.