add parameter preconditions in BigUnsigned an BigInteger
catch some errors