Battery API: make level a double instead of a float

Hi,

It would probably be better to have the level attribute being a double 
instead of a float. Not that the gain in precision is crucial but 
Javascript is using double precision floating point numbers so using 
them in our interfaces would be better.

--
Mounir