Symbol: modular_inverse