Vassil Nikolov | Васил Николов<p>The lengths of a foot and a mile—nice properties:</p><p>;; Metres.<br>(defconstant ft (* 12 254/100 1/100) "A foot.")<br>(defconstant ft.d 0.3048d0 "A foot (double precision).")<br>(defconstant mi (+ 1609 344/1000) "A mile.")<br>(defconstant mi.d 1609.344d0 "A mile (double precision).")</p><p>(defconstant mi/ft 5280 "Feet in a mile.")<br>(assert (eql (/ mi ft) mi/ft))</p><p>;; So:<br>(assert (eql (rational (/ mi.d ft.d)) mi/ft))<br>(assert (eql ft (rationalize ft.d)))<br>(assert (eql mi (rationalize mi.d)))</p><p><a href="https://ieji.de/tags/ComputerArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerArithmetic</span></a><br><a href="https://ieji.de/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a></p>