#include <iostream>

int main() {
    std::cout << 9223372036854775808.0 << std::endl;
}