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