Support 64-bit IDs in the runtime