return signatureToTypeMap.get(SpecialTypeSignatures.DOUBLE_EXTRA_TYPE_SIGNATURE);
return doubleExtraType;
	public Type getDoubleExtraType() {		return signatureToTypeMap.get(SpecialTypeSignatures.DOUBLE_EXTRA_TYPE_SIGNATURE);	}