MIPS64: Fix some representation-related issues.