Correct comment.
Merge branch 'master' of git+ssh://git.eigenstate.org/git/ori/mc
Allow '_' as digit separator within integers.
Correct indentation on fmt.myr
Use correct shift in bigdiv.

    Test it.