integer ranges preserved