int_sqrt.c: Correction square root algo with naming