Replaced an old reference to modint.