The GNU libc atanh is correctly rounded - Tech Sentiments