use Int for length of small integer type ranges. helps #7709