Сравнение произвольных арифметических типов: кто-нибудь знает реализацию?

при написании нескольких математических утилит я столкнулся с необходимостью реализовать универсальную утилиту, которая может выполнять сравнения между любыми двумя фундаментальными арифметическими типами. Когда я начал кодирование, стало ясно, что эта операция не так проста, как кажется, поскольку мне нужна правильная обработка угловых случаев, особенно когда типы имеют разную точность, т. е. стратегия округления при преобразовании между типами становится важной. Подумайте:

float a1 = 4.8f;
int a2 = 4;
assert(a2 != (int) a1); //fails erroneously since we truncated a1

float b1 = 40000000.0f; //can represent only 40000000 and 40000004 accurately
long b2 = 40000002;
assert(b1 != (float) b2); //fails erroneously since we now truncated b2

вышеуказанное может быть реализовано с использованием признаков типа C++0x для автоматического выбора соответствующего алгоритма в соответствии с аргументами шаблона, предоставленными функции сравнения. Однако это довольно сложно, и есть довольно много мест, где могут ползать ошибки, поэтому я не думаю, что изобретать все сам стоит. Кто-нибудь знает библиотеку, которая реализует выше правильно?