 Modular-oracle inversion by negation

Let $S_M|y⟩=|-y\mathrm{mod}M⟩$. The modular-addition quantum oracle obeysThe three steps replace $y$ by $-y$, then $-y+h(x)$, then $y-h(x)$. Thus a query to the inverse costs one forward query and two known unitary operators. The negation operator is a permutation matrix with $S_M^2=I$.