#include <chrono>
#include <iostream>
using namespace std;
int main() {
const auto input = 13.42;
const auto output = chrono::system_clock::to_time_t(chrono::system_clock::time_point(chrono::duration_cast<chrono::seconds>(chrono::duration<double>(input))));
cout << input << "->" << output << endl;
}
I2luY2x1ZGUgPGNocm9ubz4KI2luY2x1ZGUgPGlvc3RyZWFtPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkgewoJY29uc3QgYXV0byBpbnB1dCA9IDEzLjQyOwoJY29uc3QgYXV0byBvdXRwdXQgPSBjaHJvbm86OnN5c3RlbV9jbG9jazo6dG9fdGltZV90KGNocm9ubzo6c3lzdGVtX2Nsb2NrOjp0aW1lX3BvaW50KGNocm9ubzo6ZHVyYXRpb25fY2FzdDxjaHJvbm86OnNlY29uZHM+KGNocm9ubzo6ZHVyYXRpb248ZG91YmxlPihpbnB1dCkpKSk7CgkKCWNvdXQgPDwgaW5wdXQgPDwgIi0+IiA8PCBvdXRwdXQgPDwgZW5kbDsKfQ==