# File control/EditProperties/EditProperties.rb, line 201
def
arg_integer
@argument
[
:value
]
end