Влезает ли в double

Дано целое неотрицательное число. Выведите YES, если оно представимо в типе double точно, и NO иначе.

У double 53 двоичных разряда мантиссы: целые числа до $2^{53}$ он хранит точно, а дальше — только те, у которых достаточно нулей в конце двоичной записи.

Одно число от $0$ до $10^{18}$.

Слово YES или NO.

Проверка в одну строку: перевести в double и обратно. Если вернулось то же число — оно представимо. $2^{53} = 9007199254740992$, и уже $2^{53} + 1$ в double не отличается от $2^{53}$.