#!/usr/bin/env /friends/bin/cscript
#include <stdio.h>
int main() {
    int i = 6431509992650787137;
    printf("%.17g\n", (double)i);
}