int
sgl_to_dbl_fcnvxf(
		    int *srcptr,
		    unsigned int *nullptr,
		    dbl_floating_point *dstptr,
		    unsigned int *status)
int
sgl_to_dbl_fcnvxf(
		    int *srcptr,
		    unsigned int *_nullptr,
		    dbl_floating_point *dstptr,
		    unsigned int *status)