Fix printing of floating point numbers a little bit
Fix sign handling for fp numbers