Formal_power_series_ring loading ...