Абмеркаванне

All the shortest binary-to-decimal algorithms used in https://github.com/vitaut/zmij are now either formally verified in Lean or exhaustively tested

Thinking of writing a small paper.