Fix floating point printing of negative numbers in the range (0, -1.0)

Yes - this is still very hacky...