Formal_power_series loading ...