isl_ast_expr_from_aff: avoid extracting modulos with very large coefficients