The tag alias #57946 bigger_pred -> larger_pred has been approved.
Reason: The current standard uses Larger instead of Bigger.
An example of this instace can be found in topic #11771
EDIT: The tag alias bigger_pred -> larger_pred (forum #339263) has been approved by @bitWolfy.
Updated by auto moderator