__nv_hiloint2double# rbc.externals.libdevice.__nv_hiloint2double(x, y)# libdevice function __nv_hiloint2double