K 10 svn:author V 4 tijl K 8 svn:date V 27 2015-06-15T20:47:26.201087Z K 7 svn:log V 53 Follow up to r284427: fix NaN mixing for ctanhf too. END