[cheald]

Double image dimensions don't mean double file sizes, but they do mean larger file sizes.

If you've figured out how to display the same non-vector images at full quality at arbitrary file dimensions with the same filesize, then you're going to be very, very rich.