Does anyone have any idea what libstdc++ patch may have fixed GCC PR 35397 about denormalized numbers and if the patch could be backported to GCC 4.2 branch? Or at least allow someone to backport the patch manually if it is small enough? Thanks, David