Yeah. nextUp is actually slightly more efficient than the C nextafter function, because it doesn't need to figure out what direction to move. It's right around the size threshold where inlining would make sense in general contexts. And, yes, we should be able to mark it readnone.
4 Likes