1 2 3 4
require_extension(EXT_ZFH); require_extension(EXT_ZFA); require_fp; WRITE_RD(f16_lt_quiet(FRS1_H, FRS2_H));