Libraries.Synthesis.Ring.FixedPrec