Fix vcat of sparse vectors with numbers

[dkarrasch]

Fixes the vcat aspect of #251.

[codecov-commenter]

Codecov Report

Merging #253 (fb29027) into main (d88be9f) will increase coverage by 0.00%.
The diff coverage is 76.92%.

❗ Current head fb29027 differs from pull request most recent head d4d3545. Consider uploading reports for the commit d4d3545 to get more accurate results

@@           Coverage Diff           @@
##             main     #253   +/-   ##
=======================================
  Coverage   91.78%   91.79%           
=======================================
  Files          12       12           
  Lines        7307     7310    +3     
=======================================
+ Hits         6707     6710    +3     
  Misses        600      600           

Impacted Files	Coverage Δ
src/sparsevector.jl	95.14% <76.92%> (+0.01%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[ViralBShah]

I'm not sure how backports will work. @DilumAluthge @KristofferC ?

[DilumAluthge]

The high-level process is described in #249

[dkarrasch]

Ok, shall we merge this and then cherry-pick the commit and PR into backports-release-1.8? From there, we should PR into release-1.8 and declare that in Julia, right?

[ViralBShah]

Sounds about right. Please merge when you are ready.

[dkarrasch]

Let's see what the backport github action does once I merge...

[github-actions]

The backport to 1.8 failed:

The process '/usr/bin/git' failed with exit code 128

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-1.8 1.8
# Navigate to the new working tree
cd .worktrees/backport-1.8
# Create a new branch
git switch --create backport-253-to-1.8
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick --mainline 1 ead48fe97f2cac9f395b06140b682070bb796634
# Push it to GitHub
git push --set-upstream origin backport-253-to-1.8
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-1.8

Then, create a pull request where the base branch is 1.8 and the compare/head branch is backport-253-to-1.8.