require_fp;
WRITE_RD(f32_lt(HFRS1, HFRS2));
set_fp_exceptions;