Pretty printer correctly prints negative floats