代码用了abs()函数，不小心忘记加头文件了，居然也AC了！ 难道abs()不需要头文件吗

#include <stdio.h>

int vis[1000010] = {0};//k所有可能的取值
int a[5010];//奶牛的编号

int main(void)
{
    int n, k, i, j; 
    scanf("%d", &n);
    
    for (i = 0; i <= n - 1; i ++)
        scanf("%d", &a[i]);
    
    for (i = 0; i <= n - 2; i ++)
        for (j = i + 1; j <= n - 1; j ++)
            vis[abs(a[i] - a[j])] = 1;
        
    for (k = n; ; k ++)
        if (!vis[k])
        {
            int flag = 0;
            for (i = 2 * k; i <= 1000000; i += k)
                if (vis[i] == 1)
                {
                    flag = 1;
                    break;
                }
            if (!flag)
            {
                printf("%d", k);
                return 0;
            }
        }
    
    return 0;
}