FixedPoint: remove the non-rounding double import