really fix floating point display

I hope. Still ugly, but should cover most cases (and all in the slightly
expanded tests).