+
+ /**
+ * @return The value of this IntegerImmediate as an unsigned BigInteger
+ */
+ public BigInteger getValueAsBigInteger()
+ {
+ return value.getUnsignedValue();
+ }
+
+ @Override
+ public String toString()
+ {
+ return getValueAsBigInteger().toString();
+ }