Fix in IsSaturatedType() in EnumType