This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
There shouldn't be any need to use float[].
I suspect this is just us being ignorant of WebIDL. I'm not sure if the extra precision matters much though, since on most platforms AFAICT the values we're dealing with are actually just signed 16-bit integers that we convert to floats for ease of use.
I believe other specs have been moving away from floats to doubles.
http://dvcs.w3.org/hg/gamepad/rev/67ca83719804