I dunno how I messed that up. I'mma blame the post-lunch slump. For some reason I was thinking IPv6 was 64 bits.