public static Bool3 CompareLt(Real8Value a, Real8Value b) {
			if (a.IsValid && b.IsValid)
				return a.Value < b.Value ? Bool3.True : Bool3.False;
			return Bool3.Unknown;
		}

		public static Int32Value Cgt(Real8Value a, Real8Value b) {
			return Int32Value.Create(CompareGt(a, b));
		}

		public static Int32Value Clt_Un(Real8Value a, Real8Value b) {
			return Int32Value.Create(CompareLt_Un(a, b));
		}

 public static Real8Value Div(Real8Value a, Real8Value b)
 {
     return new Real8Value(a.value / b.value);
 }

		public static Int32Value Ceq(Real8Value a, Real8Value b) {
			return Int32Value.Create(CompareEq(a, b));
		}

		public static Real8Value Rem(Real8Value a, Real8Value b) {
			if (!a.IsValid || !b.IsValid)
				return CreateUnknown();
			return new Real8Value(a.Value % b.Value);
		}

		public static Real8Value Sub_Ovf_Un(Real8Value a, Real8Value b) {
			return CreateUnknown();
		}

		public static Int32Value Conv_Ovf_U4(Real8Value a) {
			return Int32Value.CreateUnknown();
		}

		public static Int64Value Conv_Ovf_U8_Un(Real8Value a) {
			return Int64Value.CreateUnknown();
		}

 public static Real8Value Sub(Real8Value a, Real8Value b)
 {
     return new Real8Value(a.value - b.value);
 }

		public static Int32Value Conv_Ovf_U2_Un(Real8Value a) {
			return Int32Value.CreateUnknownUInt16();
		}

 public static Real8Value Rem(Real8Value a, Real8Value b)
 {
     return new Real8Value(a.value % b.value);
 }

 public static Real8Value Neg(Real8Value a)
 {
     return new Real8Value(-a.value);
 }

 public static Real8Value Mul(Real8Value a, Real8Value b)
 {
     return new Real8Value(a.value * b.value);
 }

		public static Bool3 CompareLt_Un(Real8Value a, Real8Value b) {
			return Bool3.Unknown;	//TODO:
		}

		public static Real8Value Conv_R_Un(Real8Value a) {
			return CreateUnknown();
		}

		public static Bool3 CompareFalse(Real8Value a) {
			return Bool3.Unknown;
		}

		public static Real8Value Conv_R4(Real8Value a) {
			if (a.IsValid)
				return new Real8Value((float)a.Value);
			return CreateUnknown();
		}

		public static Real8Value Neg(Real8Value a) {
			if (!a.IsValid)
				return CreateUnknown();
			return new Real8Value(-a.Value);
		}

		public static Real8Value Conv_R8(Real8Value a) {
			return a;
		}