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

rshift(%f, %f): 小数点以下は切り捨てられます