mp_rational: another small change in the constructor from floating point.