rrectness_rtol</span>

        <span class="nd">@validate_inference</span><span class="p">(</span>
            <span class="n">atol</span><span class="o">=</span><span class="n">atol</span><span class="p">,</span>
            <span class="n">rtol</span><span class="o">=</span><span class="n">rtol</span><span class="p">,</span>
        <span class="p">)</span>
        <span class="k">def</span> <span class="nf">do_lower</span><span class="p">(</span><span class="n">module</span><span class="p">:</span> <span