use RVTEST_RV64UF macro for FPU tests