Equivalence of Weyl and Kohn--Nirenberg Quantizations Modulo Residual Terms