Ideally, the decoder should be dithering, I suppose. (I know of zero JPEG decoders that do this in practice.)