What is the devicePixelRatio of mainstream 13-inch 4k display laptops?

I need to know if there are mainstream desktop devices with devicePixelRatio 3 so that I can correctly brief my web designer to prepare bitmap images. Of course, a website can be viewed on a mobile device with devicePixelRatio 3, but in my case, there will be dedicated iOS and Android app for that.

What is the devicePixelRatio of mainstream 13-inch 4k display laptops like HP Envy 13 or Dell XPS 13? Is it still 2 or is it 3?