public void test_keyBuilder_successor_float_penultimateValue() throws NoSuccessorException {
  int maxValueAsInt=Float.floatToIntBits(Float.MAX_VALUE);
  float penultimateValue=Float.intBitsToFloat(maxValueAsInt - 1);
  assertZeroUlps(Float.MAX_VALUE,SuccessorUtil.successor(penultimateValue));
}

public void test_keyBuilder_successor_float_penultimateValue ( ) throws NoSuccessorException { int maxValueAsInt = Float . floatToIntBits ( Float . MAX_VALUE ) ; float penultimateValue = Float . intBitsToFloat ( maxValueAsInt - 1 ) ; assertZeroUlps ( Float . MAX_VALUE , SuccessorUtil . successor ( penultimateValue ) ) ; }
verifies that the successor of the penultimate float is correct .
