Int64 -package:bytesmith

64-bit signed integer type
64-bit signed integer type
INT64 The value is a signed 64-bit integer.
INT64 A 64-bit signed integer.
Generates a random 64-bit integer in the given [inclusive,inclusive] range. This is a specialization of integral, offered for convenience.
Decode an Int64 from a Dhall Integer.
>>> input int64 "-42"
-42
Encode a 16-bit signed integer as 4 bytes.
Type generalised Int64.
>>> int64 (1::Int32) == int64 (1::Integer)
True
>>> d_int64 (int64 (maxBound::Int64)) == maxBound
True
Construct a BV from an Int64.
Deserialize a signed 64-bit integer in serializer default byte order.
Serialize a signed 64-bit integer in serializer default byte order.