arsenm wrote: I'm looking at fixing this. The spec does have special DAZ suggested but optional behaviors for nextafter, which I do not believe were previously followed either https://github.com/llvm/llvm-project/pull/186082