/* 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
{
	public static void main (String[] args) throws java.lang.Exception
	{
		double a = 1.7976931348623155E308;
		double old = a;
		a++;
		System.out.println(a);
		System.out.println(old);
		System.out.println(a==old);
	}
}