PHP: BIGINT to IP