The Exact Rational Univariate Representation and its Application