Going from 32 bits to 64 bits doesn't double the range (that would be adding 1 bit), it squares the range.