examples/modint.jl: make the ModInt example usable again.