QQuickWidget uses wrong device pixel ratio

QML scenes displayed in a QQuickWidget on devices with a fractional device pixel ratio (like 1.5) look pixelated.

It looks like that the QQuickWidget uses devicePixelRatio() instead of devicePixelRatioF() to calculate the size of the used frame buffer object. This results in the FBO to be smaller than the size of the actual widget.