let zero = from_int 0 and one = from_int 1