Definitionintro
Round to nearest, ties to even
Also called banker's rounding, round-half-to-even.
The default IEEE rounding mode, which breaks exact ties toward the even last digit.
The default IEEE rounding mode, which breaks exact ties toward the even last digit.
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 NM70WW Edit this page History Report an error