little change to sqrt_double.java