Fix bug in pretty-printing of subrange int types found by Dan DaCosta