Fix the bug of int64