iple of y.
In the case where x is exactly halfway between two multiples of
y, the nearest even value of n is used. The result is always exact.