So that's like 16,581,375 IPv6 addresses right? How much would all of those cost?
Edit: looks like the RFC has been updated to recommend smaller allocations where appropriate. Still keeps /64 as the smallest allowed subnet though. https://tools.ietf.org/html/rfc6177#page-4
Edit2: fixed devices -> subnets.
Each subnet gets 2^64 addresses. You can have multiple devices in the same subnet.