v></div><div class="odoc-spec"><div class="spec value anchored" id="val-float"><a href="#val-float" class="anchor"></a><code><span><span class="keyword">val</span> float : <span>float <a href="#type-typ">typ</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-double"><a href="#val-double" class="anchor"></a><code><span><span class="keyword">val</span> double : <span>float <a href="#type-typ">typ</a></span></span></code></div></div><div class="odoc-spec"><div c