Before actually doing the calculation, I did not realize it
Mathematicians are generally not good are calculating numbers (precisely).
Totally agree.
I did not find a voting button for the proposal on GitHub, but I wrote a supporting comment. Hope that it helps a bit.