Change all int to int64

See #133.
It's a good way :) !