Fix value of selection widget when it is integer

Some selection widgets use integer as value instead of string but their values
are converted to string by the HTML select.