And this is not just a theoretical concern. Exploiting that fact has practical applications for sharpness, aliasing, etc. Subpixel smoothing is based on that id

And this is not just a theoretical concern. Exploiting that fact has practical applications for sharpness, aliasing, etc. Subpixel smoothing is based on that idea, and I think it's under-exploited in graphics in general because shading pipelines are, as far as I know, stuck addressing full pixels.