information about Formal power series field