Use double rather than float

Commit

10 years ago

Use double rather than float Per warning at http://heycam.github.io/webidl/#idl-float