That was the first 64-bit RISC CPU, indeed. I think we can also claim first 64-bit CPU - but not 100% sure.