let
mk_imodulo =
"as_int"