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

This BS proves that if yy gives you 17 digits they'll round trip: https://github.com/vitaut/zmij/blob/main/test/verify.lean