12.22.4 Rounding Behavior