Pour le problème de float, jacobly en parlait justement sur IRC:
jacobly wrote:afaik fractional pixels are rounded in every browser, and even if they weren't the code forces integers anyway
integer optimization is just extremely difficult and people assume that you can just optimize normally and that it is even remotely the same thing
for example my high scores are normal: 117904739.63853194, integer: 108634002.29142125 but the solutions aren't even close to each other