java_lib lang.Math nextUp, nextAfter, ulp for Double