Prosesor mikro NEC VR10000, berdasarkan MIPS R10000