#include <cstdio>
int main()
{
printf("%f\n", static_cast<double>(~0ULL));
printf("%llu\n", ~0ULL);
printf("%d\n", static_cast<int>(static_cast<char>(1000.0)));
}
I2luY2x1ZGUgPGNzdGRpbz4KCmludCBtYWluKCkKewogICAgcHJpbnRmKCIlZlxuIiwgc3RhdGljX2Nhc3Q8ZG91YmxlPih+MFVMTCkpOwogICAgcHJpbnRmKCIlbGx1XG4iLCB+MFVMTCk7CgogICAgcHJpbnRmKCIlZFxuIiwgc3RhdGljX2Nhc3Q8aW50PihzdGF0aWNfY2FzdDxjaGFyPigxMDAwLjApKSk7Cn0K