More precision in exported CSV files?

I’m currently running version 1.223, and I’m attempting to export trace data from graphtool to use elsewhere. It seems that all CSV files (at least the ones I’ve tried) limit values to 2 decimal places.

Is this an actual limitation, or is there some setting that will give me an extra couple of decimal places?

-thanks, Iain.