fix print int64