https://trust-lang.net/en/tags/numbers/ Recent content in Numbers on TrustLang Hugo en https://trust-lang.net/en/docs/types/numbers/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/en/docs/types/numbers/ <p>Numeric types are simple (scalar) data types of <em>TrustLang</em>. The basics of typing are described on the page <a href="type_system/">Type system</a>, while arrays, ranges and (in perspective) tensors — in the section <a href="https://trust-lang.net/en/docs/types/containers/">Ranges, arrays and tensors</a>.</p> <h2 id="integers">Integers<a class="td-heading-self-link" href="#integers" aria-label="Heading self-link"></a></h2><p>The names of integer types correspond to their bit width: <code>:Int8</code>, <code>:Int16</code>, <code>:Int32</code>, <code>:Int64</code>. An integer literal gets the minimum signed type into which its value fits (for example, <code>5</code> → <code>:Int8</code>), and a value that does not fit into <code>:Int64</code> becomes <code>:BigInteger</code>. The type of a literal can be set by the explicit annotation <code>literal :Type</code> (for example, <code>1 :Bool</code>, <code>255 :Int16</code>) — when leaving the type range, a compilation error occurs, not a silent overflow.</p>