I had actually tried the Context error message for the numerator first, but I put it right below the Context("Numeric") line instead of after the Context("LimitedPolynomial-Strict") line, and so when it didn't work, that's when I switched to the postfilter error message, thinking that it was a type problem like we had discussed before. But I understand my mistake now.
Thank you!