mp_integer: move the interoperable type detector outside the template.
mp_rational: minor test addition.