Formal_Laurent_series loading ...