as word64 is not always available, introduce an abstract type and companion operations. They use a word64 if available and fallback on word32[2] otherwise.