05 - 부동소수점, successive refinement, 루트 찾기