lib/int_sqrt.c: optimize square root algorithm