/* package whatever; // don't place package name! */
import java.util.* ;
import java.lang.* ;
import java.io.* ;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
static void check( double x) {
double a, b;
System .
out .
printf ( "%9s %9s %23s %5s%n" , x, a
= x
- Math .
ulp ( x
) , b
= Math .
nextAfter ( x,
Double .
NEGATIVE_INFINITY ) ,
a == b) ;
System .
out .
printf ( "%9s %9s %23s %5s%n" , x, a
= x
+ Math .
ulp ( x
) , b
= Math .
nextAfter ( x,
Double .
POSITIVE_INFINITY ) ,
a == b) ;
}
{
check( 0 ) ;
check
( Double .
POSITIVE_INFINITY ) ; check
( Double .
NEGATIVE_INFINITY ) ; }
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXN0YXRpYyB2b2lkIGNoZWNrKGRvdWJsZSB4KSB7CgkJZG91YmxlIGEsIGI7CgkJU3lzdGVtLm91dC5wcmludGYoIiU5cyAlOXMgJTIzcyAlNXMlbiIsIHgsIGEgPSB4IC0gTWF0aC51bHAoeCksIGIgPSBNYXRoLm5leHRBZnRlcih4LCBEb3VibGUuTkVHQVRJVkVfSU5GSU5JVFkpLCAKCQlhID09IGIpOwoJCVN5c3RlbS5vdXQucHJpbnRmKCIlOXMgJTlzICUyM3MgJTVzJW4iLCB4LCBhID0geCArIE1hdGgudWxwKHgpLCBiID0gTWF0aC5uZXh0QWZ0ZXIoeCwgRG91YmxlLlBPU0lUSVZFX0lORklOSVRZKSwgCgkJYSA9PSBiKTsKCQlTeXN0ZW0ub3V0LnByaW50bG4oKTsKCQkKCX0KCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCWNoZWNrKDApOwoJCWNoZWNrKERvdWJsZS5QT1NJVElWRV9JTkZJTklUWSk7CgkJY2hlY2soRG91YmxlLk5FR0FUSVZFX0lORklOSVRZKTsKCQljaGVjayhEb3VibGUuTmFOKTsKCX0KfQ==