cmd PUTNOTIF time option: handle double values.