Fix Double to double in JSNI code using doubleValue() as autoboxing does
not work.