FloatingPoint.nextDown

FloatingPoint.nextDown