/span><span> = </span><span>{</span></code><ol><li id="type-cfg.default_int_size" class="def record field anchored"><a href="#type-cfg.default_int_size" class="anchor"></a><code><span><span class="keyword">mutable</span> default_int_size : int;</span></code></li><li id="type-cfg.float_precision" class="def record field anchored"><a href="#type-cfg.float_precision" class="anchor"></a><code><span><span class="keyword">mutable</span> float_precision : int;</span></code></li></ol><code><span>}</span></code></di