# File lib_wpm/wpm.rb, line 1221
    def get_number_property(prop_value)
      if (prop_value !~ /^[\+\-]?\d+$/) then
        raise PropertyError, "invalid number format: #{prop_value.inspect}: at #{@widget_id.inspect}"
      end
      prop_value.to_i
    end