/* { "description" : "An object to represent and manipulate signed 32-bit integers (Dana primitive integers are all unsigned)." } */

interface SignedInt4 {
	/* { "@description" : "Creates a new 32-bit signed integer instance, initialised either from an absolute value (val) or from a positive value which should be made negative (neg)." } */
	SignedInt4(opt int4 val, opt int4 neg)
	
	/* { "@description" : "Subtract a given 32-bit signed integer value from this instance's current value." } */
	int4 subtract(int4 val)
	
	/* { "@description" : "Add a given 32-bit signed integer value to this instance's current value." } */
	int4 add(int4 val)

	/* { "@description" : "Multiply this instance's current value by a given 32-bit signed integer value." } */
	int4 multiply(int4 val)

	/* { "@description" : "Divide this instance's current value by a given 32-bit signed integer value." } */
	int4 divide(int4 val)

	/* { "@description" : "Get the value of this 32-bit signed integer, as an int4, suitable for use as a parameter to other SignedInt4 instances." } */
	int4 getValue()

	/* { "@description" : "Set the value of this 32-bit signed integer." } */
	void setValue(int4 v)

	/* { "@description" : "Test is this signed integer instance currently holds a negative value." } */
	bool isNegative()

	/* { "@description" : "Invert the sign of this signed integer instance, changing it from positive to negative, or vice-versa." } */
	void invert()
	
	/* { "@description" : "Get the raw bytes of this signed integer instance." } */
	byte[] getBytes()
	
	}