Pin DivMod

Fixes #193.