Fix #4867, ghci displays negative floats incorrectly