let zero = zero_big_int