Fix intCss() in Tips to take care of float value

It fixes a bug on border width calcul in Tips when there is a browser zoom.

To reproduce the bug, you have to zoom + the page BEFORE the tooltip is generated.
Merge pull request #570 from raphaelMalie/patch-1

Fix intCss() in Tips to take care of float value