Don't case-unfloat past existentials.
PP width taken from terminal width, fix set-pp-width