Mikko Rasa [Sat, 16 Apr 2016 12:44:30 +0000 (15:44 +0300)]
Account for SHA-512 asking for a 128-bit message length
The upper 64 bits are filled with zeroes because 128-bit integers are not
available everywhere and it will be a while before lengths overflowing 64
bits are realistically possible.