>>> int64 (1::Int32) == int64 (1::Integer) True
>>> d_int64 (int64 (maxBound::Int64)) == maxBound True