いや、単に (y+x%y)%y でいいと思うぞ