(define-intrinsic (C_u_i_flonum_nanp a c x)
  `(C_ub_i_flonum_nanp (C_flonum_magnitude ,x)))
(define-intrinsic (C_u_i_flonum_finitep a c x)
  `(C_ub_i_flonum_finitep (C_flonum_magnitude ,x)))
(define-intrinsic (C_u_i_flonum_infinitep a c x)
  `(C_ub_i_flonum_infinitep (C_flonum_magnitude ,x)))
  
(define-intrinsic (C_ub_i_flonum_nanp x)
  (let ((t1 (temp)))
    (checkf x)
    (emit #t "%" t1 " =w call $__isnan(d %" x ")")
    (mkbool t1)))