The problem you'd have is that doing any operations on such a value could take it outside the bounds of the "type".