rammer to make sure the integer values in their programs stay in
range. In particular, every intermediate expression must have an
integer value that is in range.</p>
<p>Integer arithmetic works in the expected way for addition,
subtraction, and multiplication, but rounds the result of division
(see <a href="#int-arithmetic.section">section</a> for more information).</p>
</div>
<div id="reals" class="section level3 unnumbered">
<h3>Reals</h3>
<p>Stan uses 64-bit (8-byte) floating point representations of rea