sum(printf(?t,"The ~:R positive integer is ~R.
",i,i),i,1,?read());