#include <stdint.h>
#include <stdio.h>
int main(void) {
uint64_t u64 = (1LL << 63) - 123456789 + (1LL << 63);
double f64 = u64;
}
I2luY2x1ZGUgPHN0ZGludC5oPgojaW5jbHVkZSA8c3RkaW8uaD4KCmludCBtYWluKHZvaWQpIHsKCXVpbnQ2NF90IHU2NCA9ICgxTEwgPDwgNjMpIC0gMTIzNDU2Nzg5ICsgKDFMTCA8PCA2Myk7CglwcmludGYoIiVsdVxuIiwgdTY0KTsKCWRvdWJsZSBmNjQgPSB1NjQ7CglwcmludGYoIiVsZlxuIiwgZjY0KTsKfQo=