jigpu/gnome-settings-daemon — comment on commit 924dc12bb6fa44cecde37de35a081329d512b8a8
File:  line 0
By hadess:

Why not fix device_set_property() to support floats instead?