[ResNet]

This is a nice dive. I've also came across some SVG libraries that end up converting SVG path coordinates from original floating point values into integers, and then apply a scale/transform to that path to get the desired final size. Presumably this is/was faster for complicated paths or other elements.

[klodolph]

There are various reasons why integers are convenient to work with, it's not all about performance.