The commit 8d55852a added floating point
options and used previously defined integer options, but !set method
didn't support neither of them. This implements this support.