The return operator sometimes needs to apply a type restriction to its return value before boxing and wrapping the value in a ReturnException instance. e.g. if the return value is an arithmetic expression with type int but the method return type is byte it plant an I2B opcode. Currently it merely constructs a java.lang.Number by boxing the value type.