Yet Another Coq Library on Machine Words. This library contains general purpose definitions & results around machine words (i.e. modular arithmetic with a power of 2 modulus).