Quantum.Synthesis.Ring.FixedPrec