Added the possibility to set float values for the timer_ok and timer_warning options

Changed the cast to int for *timer_ok* and *timer_warning* options. Now float values are accepted.