fix risc-v fpu emulation bugs