1 require_extension('D');
2 require_fp;
3 WRITE_RD(f64_classify(f64(FRS1)));
4