I believe Google pools the storage. Office 365 does the same thing. My org manages many thousands of people each with 10GB of OneDrive space.
We allocate big users as much as 200GB of space without even looking at the allocation ,because most user needs are very light.