Can a conforming program set the object to a value outside of
TYPE_MIN_VALUE/TYPE_MAX_VALUE.Let's forget about the obscure unchecked conversion -> 'Valid case because we're going to handle that in whatever way we need to. So the answer is "no".
