OK I changed to your first suggestion.  Just so I understand, aren't we guaranteed that the units of `ra` for any two FK5 coords will be the same?  The second test is now subject to a possible false negative if the units don't match but they are forced back into matching.