Z:gnu-gawk--b1257c-rshift(=25f, =25f): fractional val/es

!!FUZZY!!rshift(%lf, %lf): los valores fraccionarios serán truncados