on_cast mpfr cast_self
