wintersteiger Revert unsound NaN constraints in theory_fpa (#6993)