is that  riscv64 `feq.s` only should consider the lowest  32-bits.