> -- Валерий Лаптев писал(а):
> 4. Если сравнения на равенство чисел разного размера разрешены, тогда должно быть преобразование типа, в точности приводящее большую мантиссу в соответствующему значению малого размера.Интересная мысль.

PS: Вообще я не сторонник решения проблем запретами, но признаю что частенько таких решений не избежать