 (<span class="mdzsyn-coresym">int/s64</span> <span class="mdzsyn-number">1</span>) (<span class="mdzsyn-coresym">int/u64</span> <span class="mdzsyn-number">1</span>))  <span class="mdzsyn-comment"># true -- they are "semantically" equal</span>
(<span class="mdzsyn-coresym">compare&lt;</span> <span class="mdzsyn-number">3</span> (<span class="mdzsyn-coresym">int/u64</span> <span class="mdzsyn-number">2</span>))            <span class="mdzsyn-comment"># false -- semantically 3 is not &lt; 2</span></code></pr