Add extra interface to exponentiation which returns a Montgomerized