The Frequency of Postshifts in Floating-Point Multiplication