High-Frequency Semiclassical Elliptic Parametrix Modulo Ordinary Smoothing