Decode '0'-valued user options to integer 0