changed _int to _positive_int