In reply to a tweet by glazou:

@glazou but of course 1 CSS mile would be hardcoded to be 6,082,560 pixels. Because that makes sense.