Formatter: And more cast tests (these don't pass yet).