That actually worked. I did a quick test: open an 800x800 JPG > Export as... > set the resample selection to "Preserve Details", and the
@2X version of the export is sharp and crisp on a 4K screen. Many thanks for this tip, it is very much appreciated.