Personally I'd go with a 64 bit key and forget about it.  I remember something about mysql creating a hidden primary key column if a single column wasn't already the primary key.  I'll ask our dba.