
$( \bmod ~1)$
