This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The thread for this bug started in Dec 2013 <http://lists.w3.org/Archives/Public/public-pointer-events/2013OctDec/0074.html> and there appears to be consensus to change the type of PointerEvent.{width,height} to double <http://lists.w3.org/Archives/Public/public-pointer-events/2014AprJun/0051.html>. Jacob also asks if tilt{X,Y} should also be double <http://lists.w3.org/Archives/Public/public-pointer-events/2014AprJun/0052.html>.
Looks like there's consensus, so I went ahead and made this change. On the agenda to confirm during the 6/3 telecon. https://dvcs.w3.org/hg/pointerevents/rev/cc1d34f697b3
Comment #2 is the wrong revision link. This is the change: https://dvcs.w3.org/hg/pointerevents/rev/36f85df11e83