X-floor(X/Y)*Y = mod[X,Y]