Fold fcmp in cases where value is provably non-negative. By Arch Robison.