Re: [encoding] Fix #20: rather than relying on integer division, use floor() (929a3ff)

You're right it doesn't seem to matter. I wrote a quick script to check and up to 100000000 there are no differences at least :). There is probably a quick proof that could be done, although I am sadly out of practice and so have to resort to silly looping checks instead of proving it :(

---
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/encoding/commit/929a3ffec7695b38c1b5529411de52eca6935d61#commitcomment-15017788