FloatingPoint.nextUp