Reversible circuits for modular multiplication Cx%M with x M arise as components of modular exponentiation in Shor's quantum number-factoring algorithm. However, existing generic constructions focus ...