let zero = of_int 0