1. Если говорить об обучении, то ни о каких размерах начинающему знать ни к чему.
2. Можно запретить сравнение вещественных разного размера.
3. Можно запретить присваивание вещественных разного размера в обе стороны. Я так понимаю, что либо нам нужна точность, либо мы экономим память. Зачем нам два размера в одной программе?
4. Если сравнения на равенство чисел разного размера разрешены, тогда должно быть преобразование типа, в точности приводящее большую мантиссу в соответствующему значению малого размера. Проблема же в хвостике - паре последних разрядов.