my $number = $input_number // $default;