It really shouldn&#x27;t be this false dichotomy. We could have richer specifications for the bounds of numbers and the rules used to convert their formats. It&#x27;s some kind of failure of imagination to not have that when arithmetic bugs traceable back to &quot;implementation does not match representation&quot; are so common.