Change Int64 to Word64 in a couple of places, add an efficient Word64 -> ByteString conversion.