На самом деле этот метод возвращает null или строку, в которой записано число,
поэтому советую при работе необходимо приведение к типу int чтоб не возникло ошибок.
\www\bitrix\modules\main\classes\general\user.php
public function GetID()
{
if(isset($_SESSION["SESS_AUTH"]["USER_ID"]))
return $_SESSION["SESS_AUTH"]["USER_ID"];
else
return null;
}