# File control/EditProperties/EditProperties.rb, line 302
  def arg_num_value=(num_value)
    pos = arg_pos(:number)
    if (! (empty_string? num_value)) then
      check_number(num_value)
      @doc_args[pos][:value] = num_value.to_i
    else
      @doc_args[pos][:value] = nil
    end
    num_value
  end