equal
deleted
inserted
replaced
33 theorems about multiplication, division, etc., that can be brought to |
33 theorems about multiplication, division, etc., that can be brought to |
34 bear. You can find find them by browsing the library. Some |
34 bear. You can find find them by browsing the library. Some |
35 useful lemmas are shown below. |
35 useful lemmas are shown below. |
36 |
36 |
37 \subsection{Numeric Literals} |
37 \subsection{Numeric Literals} |
|
38 \label{sec:numerals} |
38 |
39 |
39 Literals are available for the types of natural numbers, integers |
40 Literals are available for the types of natural numbers, integers |
40 and reals and denote integer values of arbitrary size. |
41 and reals and denote integer values of arbitrary size. |
41 \REMARK{hypreal?} |
42 \REMARK{hypreal?} |
42 They begin |
43 They begin |