Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size.