let
zero = zero_big_int