double GetWidth()

//Modify an element's width.

//Perform on the worker thread
await QueuedTask.Run(() =>
{
  double elmWidth = element.GetWidth();
  elmWidth = 8.5;

  element.SetWidth(elmWidth); //You don't have to get to set; a shortcut would be: element.SetWidth(8.5);
});