Most of the FX Robot API calls take doubles for position arguments. Many of these are truncated to int before being passed down to the platform-specific native code. We should pass them down as double/float values so that the native code can decide how and when to convert them to ints.

For example at modules/javafx.graphics/src/main/java/com/sun/glass/ui/win/WinRobot.java line 68