Eliminate re-export of Int64.