Improve cast pretty-printing