public BigInteger toBigInteger() {
   return Nat128.toBigInteger64(x);
 }