ADDED: modular inverse