https://123dok.net/document/z3dxe58y-preserving-differential-privacy-under-finite-precision-semantics.html