#include <stdio.h>
#include <stdlib.h>
#include <values.h>

int main(int argc, char **argv){

	printf("%lf\n", DBL_MAX);

	return 0;
}
