Z:gnu-gawk--d15c78-rshift(=25f, =25f): too large shif/nl

rshift(%f, %f): te grote opschuifwaarden geven rare resultaten