Formal_series loading ...