FloatingPoint.nextDown