Should coordinates for actions should support floats and not integer?

[whimboo]

Right now coordinates for eg. pointer actions require integer values:

Let x be the result of getting the property x from action item.

If x is not an Integer, return error with error code invalid argument.

The question is if we still need this restriction or if it is unnecessary / unhelpful these days. Most users have a high DPI display where we can have multiple physical pixels per CSS pixel. In such a case we should probably really allow floats?

CC'ing @jgraham given his feedback from https://bugzilla.mozilla.org/show_bug.cgi?id=1793835#c2.