Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers