/home/dan/src/M2-1.3/Macaulay2/m2/integers.m2:88:10-88:18: --source code: zero = x -> x == 0 -- we use == so this can apply to all types of things