#include <stdio.h>
#include <float.h>
int main() {
    printf("double: %g\n", DBL_MAX);
}