public static Type getDoubleExtraType() { return s_doubleExtraInstance; }
public static Type getDoubleExtraType() { return DoubleExtraType.instance(); }
	public static Type getDoubleExtraType() { return s_doubleExtraInstance; }