Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers