TDD'd format_sizeof for some nasty cases