Making the trace format easier to diff with the old stuff.
Fixing carry.
Adding f64-to-i32 convert.