Add configure check for a bug with gcc soft floating-point and subnormals, to help debug issue 8265.