?- X is 2**64 * 2**64.
X = 340282366920938463463374607431768211456.