diff options
| -rw-r--r-- | spec/spec.pdf | bin | 275420 -> 275480 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex d39d342d..b60c3cb7 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index 361b435f..9aa1e6b4 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1285,7 +1285,7 @@ div & (num,den) & () & (UInt,UInt) & UInt & w\ts{num}\\ \end{tabular} }} \end{figure} -The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. +The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. The result of a division where \vv{den} is zero is undefined. \subsection{Modulus Operation} |