pub type jit_float64 = f64;