let mk_imodulo = "as_int"