Quantum.Synthesis.Ring.SymReal