There is no integer type.  This should be long: http://www.w3.org/TR/WebIDL/#idl-unsigned-long