docs: clarify that sqrt must be correctly rounded in accordance with IEEE 754
#429
| Job | Run time |
|---|---|
| 14s | |
| 14s |
sqrt must be correctly rounded in accordance with IEEE 754
#429
| Job | Run time |
|---|---|
| 14s | |
| 14s |