You only need reals for exact solutions. Once you are approximating with smooth functions, you can approximate with rationals/decimal paramters on polynomials.