3.327. __nv_ull2double_rd

double @__nv_ull2double_rd(i64 %l)

Convert an unsigned 64-bit int to a double in round-down mode.

Convert the unsigned 64-bit integer value x to a double-precision floating point value in round-down (to negative infinity) mode.