More work on real arithmetic. Refine z trace to not trace CP and XS (stack pointer), add trace for RA.