это ж шаблоны, хочу поддерживать стандартные типы, здесь нет речи о каких-то специализированных вычислениях
Ну мы зациклились. С точки зрения пользователя обобщенной функции, выглядит разумным просто не поддерживать побитовое сравнение для float-типов. Потому что это какой-то бред, и пользователь должен об этом знать.