Counterexample truncation sign error in stdout

[TimArnettThales]

Truncated values can have the wrong sign when printed to stdout. The values are represented correctly (confirmed with xls output) but the truncation used causes small negative values to be represented as positive. E.g. a value of -0.00045 was represented as 0.000* instead of -0.000*