UInt32 UserDefinedResult.SetNumber { get; set; }