Faster integer sqrt