634 	isl_sioimath_scratchspace_t scratchlhs, scratchrhs;  in isl_sioimath_add()  local
644 	mp_int_add(isl_sioimath_bigarg_src(lhs, &scratchlhs),  in isl_sioimath_add()
655 	isl_sioimath_scratchspace_t scratchlhs, scratchrhs;  in isl_sioimath_sub()  local
665 	mp_int_sub(isl_sioimath_bigarg_src(lhs, &scratchlhs),  in isl_sioimath_sub()
676 	isl_sioimath_scratchspace_t scratchlhs, scratchrhs;  in isl_sioimath_mul()  local
686 	mp_int_mul(isl_sioimath_bigarg_src(lhs, &scratchlhs),  in isl_sioimath_mul()
698 	isl_sioimath_scratchspace_t scratchlhs;  in isl_sioimath_mul_2exp()  local
706 	mp_int_mul_pow2(isl_sioimath_bigarg_src(lhs, &scratchlhs), rhs,  in isl_sioimath_mul_2exp()
715 	isl_sioimath_scratchspace_t scratchlhs, scratchrhs;  in isl_sioimath_mul_si()  local
724 	mp_int_mul(isl_sioimath_bigarg_src(lhs, &scratchlhs),  in isl_sioimath_mul_si()
735 	isl_sioimath_scratchspace_t scratchlhs, scratchrhs;  in isl_sioimath_mul_ui()  local
743 	mp_int_mul(isl_sioimath_bigarg_src(lhs, &scratchlhs),  in isl_sioimath_mul_ui()
757 	isl_sioimath_scratchspace_t scratchlhs, scratchrhs;  in isl_sioimath_pow_ui()  local
794 	mp_int_expt_full(isl_sioimath_bigarg_src(lhs, &scratchlhs),  in isl_sioimath_pow_ui()