Basic power series type and arithmetic.