Remove JVM-specific hack.

Now that JVM's pow_n works correctly, the hack is no longer needed.
Remove JVM-specific hack.

Now that JVM's mod_n works correctly, the hack is no longer needed.
Note spec issue on infix:<mod>.