Formal_Puiseux_Series