added new test with binary numbers, using ZZ instead of Nat