z.hi = H + e
z.lo = e + H - z.hi
z.lo = e + H - ( H + e )
z.lo = e - e