(2^31-1)^2 < (2^63-1)