pub const WasmEdge_NumType_F64: WasmEdge_NumType = 124;