bonjour
1/7 = 0.1428....
0.142 < 1/7 < 0.143
0.758 < 0.7586 < 0.759
4.123 < √7 < 4.124
0.002 < 2.356 * 10 ⁻³ < 0.003
