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