Точна ли сумма в double

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

У double 53 двоичных разряда мантиссы.

Одна строка: $a$ и $b$ от $0$ до $5 \cdot 10^{17}$.

Слово YES или NO.