Подозреваю, что и тут не очень удалось свою мысль выразить. По крайней мере я вопроса не понял.

Так ведь у Вас в резюме стоит "Знание С++ - на уровне способности проводить собеседования кандидатов" и нигде не написано, что для Вас "С++" это только x86. Извините, что заняли Ваше время, просим далее быть более конкретным в оценке своих навыков.

Всё гораздо сложнее.  В координатной сетке векторного Framework, который мы используем для рисования, логические координаты точек для обеспечения независимости от разрешения экрана меняются в диапазоне 1..2, и в этом случае при выводе изображения на экран
SuperMegaFullHD это, безусловно, разные числа, и Ваше смелое предположение насчет их эквивалентности является неверным.

Это я всё к тому, что стоить посмотреть как трансформировался Ваш "тривиальный" вопрос, предполагавший не менее "тривиальный" ответ.

Ок, переформулирую: Как осуществляется сравнение на равенство целочисленных типов на платформах без поддержки целочисленных вычислений?

Это только довод в пользу того что этому вопросу необходимо уделять специальное внимание. Соответственно изначальный тезис о том что "надо просто использовать template и будет счастье" все же не верен. Что и требовалось доказать.

Ладно, оффтоп так оффтоп, все равно "говорилка". Давайте и я про флоты,

C++ (Qt)
float a, b;
...
a = (b < 0) ? 0 : sqrt(b);
 

C++ (Qt)
float a, b;
...
a = sqrt(b);
if (b < 0) a = 0;
 

Есть ли здесь какая-то разница или дело только в оптимальности?

По поводу оператора == для флоатов и даблов, имхо, проблема чисто языковая. Стандарт С++ просто ничего не говорит об особенностях его применения для данных типов, и как следствие, оператор становится неипользуемым. Все пишут свои велосипеды fuzzy сравнивания. Как по мне, было бы идеально ввести в сам язык понятие fuzzy сравнения для вещественных типов по умолчанию. Т.е. по умолчанию компилятор будет генерировать нужный код сам, встретив что-то типа "if (a == 0.05)..", с точностью сравнения, определенную стандартом языка (например, std::numeric_limits::epsilon). Если кому недостаточно - тогда пожалуйста, make a bike

Тут и компилятор не нужен, это поддерживается самим форматом флотов. Напр

C++ (Qt)
float test1 = 21234567.8901f;
float test2 = nexttowardf(test1, test1 * 2);
printf("%f\n", test2 - test1);
 
printf("(test1 == test1 + 1) = %d\n", int(test1 == test1 + 1));