external perfect_square_p: t->bool = "_mlgmp_z_perfect_square_p"