Come funziona nextAfter in java?

[peruzzo]

Esempio:

import static java.lang.Math.*;

class Esempio {
	public static void main(String args[]) {
		double x;
		x = nextAfter(12, 13);
		System.out.println(x);
	}

}

Output: 12.000000953674316

Sul manuale c'è scritto che nextAfter restituisce il valore successivo nel verso di 13 ma 12.000000953674315 non è forse successivo anche lui?!?!

Come funziona e a cosa serve questo comando!?!?!