Natural number type to be used later for length/heights.