trunc for ppc32/power5+ with FPU.