../ppc32/round.c