Here's a patch I've sent upstream which fixes a range of floating point bugs in libgcc. Signed-off-by: Keith Packard <keithp@keithp.com>