pub type jit_nfloat = u128;