You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Now that we can specify explicit discriminant numbers (see #1393), to make then useful they need to use the same integer size as C does for the given platform.
For most cases making them 32bit will be suffice, but the C standard allows them to be different sizes depending on the possible values they can take.
The text was updated successfully, but these errors were encountered:
Now that we can specify explicit discriminant numbers (see #1393), to make then useful they need to use the same integer size as C does for the given platform.
For most cases making them 32bit will be suffice, but the C standard allows them to be different sizes depending on the possible values they can take.
The text was updated successfully, but these errors were encountered: