fp64_ul2f         159 lj_ircall.h      _(FP64_FFI,	fp64_ul2f,		2,   N, FLOAT, 0) \
fp64_ul2f         264 lj_ircall.h    extern float fp64_ul2f(uint64_t a);