I also hope whoever gave risc-v seperate floating-point registers stubs their toe on a rusty nail
This only made sense in the 80s where the FPU was a seperate piece of silicon.
Nowadays there's no reason to have a seperate FPU even in a space-constrained microcontroller