# File lib_wpm/wpm.rb, line 712
    def check_integer(string)
      case (string.strip)
      when /^[+-]?\d+$/
        return
      else
        raise "not a integer: #{string.inspect}"
      end
    end