Haskelltypefun
вот я недавно в игрушечном примере делал typelevel floating point через предел type level rational, которые представляются как два type level integer. в это время можно делать через a/2^e, где a и e этот Integer. вопрос когда какое представление удобнее?
@qnikst, Насколько я понимаю, умножэние быстрее во втором случае.
Ну, и второй — аппаратно поддержывается, для жэлающих.
Кроме того, банальней решаются вопросы выхода за пределы и точности.