1 2 3 4
require_extension('Q'); require_fp; WRITE_RD(f128_le(f128(FRS1), f128(FRS2))); set_fp_exceptions;