Hacking on numba, I am trying to find the PTX-equivalent of nextafter. The official PTX documentation does not include one specific instruction, as far as I can tell (though I could be overlooking it), so I assume this has to be implemented “manually” (in PTX code).

• Is nextafter part of the PTX instruction set?
• If not, is there an implementation out there in the wild (before I reinvent the wheel)?
• If both latter options ain’t it, any idea on how to approach this?