* libgcc2.c (__floatdisf): Properly cure double rounding.