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