Как преобразовать метку времени LDAP в метку времени Unix

Когда я получаю атрибут LDAP "pwdLastSet" Active Directory с помощью PHP, я получаю значение вроде 1.29265206716E + 17. Я знаю, что это значение представляет дату «Tue Aug 17 2010 14:11:11 GMT + 0200».

Как мне преобразовать это значение в метку времени Unix в PHP? Спасибо за любые подсказки!