ARM, RISC-V контроллеры

Форматов хранения fp бывает не мало. Как правило числа хранят в нормализованном виде. Т.е. например мантиса в диапазоне от 0.5 до 0.99999999... При этом 0.5 есть во всех числах и можно съэкономить 1 разряд. Правда нули минимумы/максимумы/не числа и т.д. отдельно обрабатываются. Проще скомпилять пример на сях и поглядеть чего там в асм-е получается.