PreciseFixedFloat: fix bug in a multiply routine