improved efficiency of Rational <= and fixed minor errors