integer/mp_integer: is_integrable type trait test moved to integer tests from math,
and added to mp_integer.