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