c'est le cas mais les règles d'arrondis et tout sont pas prévues pour faire du calcul entier, par définition exact au bit près...
page 9 https://cr.yp.to/mac/poly1305-20041101.pdf
et son premier essai https://cr.yp.to/antiforgery/hash127-20040918.pdf
oui, ce mec est fou.