New module u64. Make crypto/sha512 use it.