Dense Polynomial Arithmetic over a Polynomially Bounded Effective Field is Polynomial Time