really fix float rounding on 32-bit platforms