https://github.com/ucb-bar/berkeley-softfloat-3/
(http://www.jhauser.us/arithmetic/SoftFloat.html) with RISCV specialization and cmake build