">// ^59</span>
    <span class="identifier">mp_type</span><span class="special">(</span><span class="string">"+1.81046E-72"</span><span class="special">),</span> <span class="comment">// ^61</span>
    <span class="identifier">mp_type</span><span class="special">(</span><span class="string">"-1.133E-75"</span><span class="special">),</span> <span class="comment">// ^63</span>
  <span class="special">}};</span>

  <span class="keyword">const</span> <span class="identifier">mp_type</span> <span class="identi