Integer_square_root loading ...