Under the identities section in this Wikipedia page they list the distributive property for multiplication. However it doesn't hold true for fractions. Is there a list of modulo properties when fractions (particularly irrational fractions) are involved?
Listed rule
ab % x == ((a % x) * (b % x)) % x
Counter Example
(4 * .002) % 1 != 0