The following patch implements proper tracing for floating point operands. It makes use of a recent improvement in sim-trace.c to limit the number of trailing digits printed when formatting floating point numbers. Okay to commit? Approved by Doug and Frank (a miracle!) ;-). I'll check it in. Ben