Hardfloat vs softfloat in RISC-V compilers, and accommodating the different ABIs possible: https://www.sifive.com/blog/2017/08/14/all-aboard-part-1-compiler-args/