Missing mp_rational<>/mp_integer<> -> rational/integer replacements.