 <span class="p">(</span> <span class="n">a</span><span class="p">(</span><span class="n">i</span><span class="p">,</span><span class="n">j</span><span class="p">)</span> <span class="o">==</span> <span class="kt">real</span> <span class="p">(</span> <span class="nb">int</span> <span class="p">(</span> <span class="n">a</span><span class="p">(</span><span class="n">i</span><span class="p">,</span><span class="n">j</span><span class="p">)</span> <span class="p">),</span> <span class="nb">kind</span> <span cl