Well, admittedly, "mips64" as an alias for n32 is a wacked-out name for
me. I would assume <CPU>64 means full support for a <CPU> in it's 64-bit
mode. The (n)64 ABI fullfills it, but the n32 one doesn't as it's support
for 64 bits is partial from the binutils' POV and minimal from the gcc's
one. Of course the participants of this mailing list, including you and
me, fully understand these subtleties, but I wouldn't be so sure about
everybody else, including many people at the <linux-mips@linux-mips.org>
list, let alone others.