[PATCH 4.20 071/111] fix int_sqrt64() for very large numbers