let e_bigint z = TERM.Tint(My_bigint.to_string z)