fp64_ul2f         220 lj_ircall.h      _(FP64_FFI,	fp64_ul2f,		1,   N, FLOAT, XA_64) \
fp64_ul2f         351 lj_ircall.h    extern float fp64_ul2f(uint64_t a);