They used to be, but not anymore. However, they switched, because even if not pixel perfect, it is good enough. At sizes used by their laptop, most users are not going to notice that it is not pixel perfect.
The system they use gets them something: 1) apps do not have bother with fractional scaling, so they do not get to bother about rounding errors and 2) they get to use output encoder for scaling, which is essentially for free, instead of GPU, which will take its toll on power consumption and GPU load.
The system they use gets them something: 1) apps do not have bother with fractional scaling, so they do not get to bother about rounding errors and 2) they get to use output encoder for scaling, which is essentially for free, instead of GPU, which will take its toll on power consumption and GPU load.