1 2 3 4
require_extension('D'); require_extension(EXT_ZFA); require_fp; WRITE_RD(f64_lt_quiet(FRS1_D, FRS2_D));