see if ℤ works on github