You can always just do integer pixel scaling which will look just as good as the original