formal power series over a semiring