How Much IPv6 is There?