Quantitative Tamarkin theory. (2020)