NB: Numbers with 2, 3, 7, or 8 as the last digit can be rejected on the spot by the theorem below:
x,y∈Z y≠x² ⇔ y mod 10∈{2,3,7,8} The proof

An integer



Example: 625 is the square of ±25