(ia / ib) -> div_imp(ia, ib).