{ x8 = x1/100000000,
  x9 = x2/10000000,
  x10 = x3/100 }