xsf: Floating-points can't be multiplied by bit-shifting.  Closes: #305.