Change all int to int64

See #133.
I think it's better to fold the stream and to manipulate a `Int64` everywhere.