floor((a*b mod n)/a)=(a*b mod n)/a for a > 0 and b > 0 and n > 0