Change all int to int64

See #133.