Но ещё есть, например, дробный тип, позволяющий представить рациональные числа без потери точности (не 0,33333334, а полновесная 1/3).
Почти наверняка это реализовано так: если делить заведомое целые числа, то "дробь" получается автоматически (и в памяти хранится просто пара, как в случае комплексных). А арифметика с ними работает по обычным школьным правилам - приведение к общему знаменателю, общий делитель и т.п. Тоже, в обще, тривиально для реализации.
