Lower mechanical word (source code)

= Lower mechanical word

The floor-based <mechanical word> $w_n=\lfloor(n+1)\alpha+\rho\rfloor-\lfloor n\alpha+\rho\rfloor$.