Webkit fractional fix

Fixes https://github.com/ajaxorg/ace/issues/1534

Ace is going to break compatibility with the upcoming Webkit release. This fixes that.

/cc @nightwing