Formal_Puiseux_Series.Formal_Puiseux_Series