From a computational point of view it would be nice to see, actually, a type that has no zero and is symmetric around it= ... -3/2,-1/2,1/2,3/2 ... It would be trivial to implement efficiently in hardware (as opposite to the checks required for INT_NAN or INT_MIN) and it would have sense in some cases (like some kinds of discretizations)
From a general programming viewpoint pervasive bigints, ints with NaN/+Inf/-Inf and bitfields would be interesting too, but I don't know if the they are worth the complexity they introduce
From a general programming viewpoint pervasive bigints, ints with NaN/+Inf/-Inf and bitfields would be interesting too, but I don't know if the they are worth the complexity they introduce