Conceptintro
Rounding modes
Also called rounding direction.
Round-to-nearest-even, toward zero, toward plus and minus infinity, as IEEE 754 defines them.
Round-to-nearest-even, toward zero, toward plus and minus infinity, as IEEE 754 defines them.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag RJRH3Z Edit this page History Report an error