Bug fixes for float stack printing.