private static void TestNormalize(uint[] u, uint[] un, int shift) { BigInteger i = new BigInteger(1, u); BigInteger j = new BigInteger(1, un); BigInteger k = j >> shift; Debug.Assert(i == k); }