Z:gnu-gawk--2186e9-lshift(=25f, =25f): fractional val/de

lshift(%f, %f): Dezimalteil wird abgeschnitten