sha512 is:exact

For those for whom only the biggest hashes will do, this computes the SHA-512 hash of the given ByteString. The output will be 64 bytes, or 512 bits, long.
Calculate SHA512 hash.
SHA512 digest.