Comment by vjeux

We actually intentionally round it to the nearest pixel in excalidraw because otherwise the font tends to be blurry. We may want to reconsider.