Replace Int64 with Int