#include <stdio.h>

int main(int argc, char *argv[]) {
    double a = 2.00002;
    if (a == (int) a) {
        puts("hai");
    }
}