实现将 b 除以模 n 的有效算法 from __future__ import annotations def modular_division(a: int, b: int, n: int) -> int