Fix a int64 bug for alex-vs-fedor