which, contrary to your previous email, is definitely not an erroneous
situation. Precision is very important here!Yes, and I'm sorry for the confusion. However, for the purposes of this discussion, there's no difference between erroneous and bounded error: the issue is whether it's right to say that the only "valid" values of the subtype are what's given by its range and that's the case whether an invalid value would be a bounded error or erroneous.
