Modulo Operation/Examples/0.11 mod 0.1/Proof 1

Proof
By definition of modulo operation:
 * $x \bmod y := x - y \floor {\dfrac x y}$

for $y \ne 0$.

We have:

and so:
 * $\floor {\dfrac {0 \cdotp 11} {0 \cdotp 1} } = 1$

Thus: