因为双精度浮点数格式使用了53位有效数字，从而ulp(2)=2*2=2 > 1 。即，在这里双精度浮点数可表示的最小精度间隔已经是2了。 
语言支持.从Java 1.5, Java语言的标准库包含了函数：与C语言标准库从C99开始提供了计算给定方向的下一个浮点数的函数：codice_1与codice_2用于codice_3, codice_4与codice_5用于codice_6, codice_7与codice_8用于codice_9, 都在codice_10中声明。