Univariate arithmetic