PHP, сравнивающий отметки времени UNIX

У меня проблема с двумя временными метками unix в php.

$time_now = mktime(); if($auction->time_end > $time_now){ //true } else{ //false } 

$ auction-> time_end равно 1362579127 и устанавливается как int from db. $ time_now, например, 1364129253 и устанавливается как int, оба проверяли с помощью var_dump и действительно возвращались как int.

• Как запустить из PHP скрипт bash под пользователем root
• Переносимость GLOB_BRACE?
• Cron Job + Twitter
• Библиотека ASCII для создания «Довольно» Деревев каталога?
• Получение timestamp unix в миллисекундах в PHP5 и ActionScript3

Проблема в том, что PHP, похоже, думает, что 1362579127 больше, чем 1364129253 (возвращает false), которого нет. Я что-то упустил? Если я ввожу значения в оператор if, он работает так, как должен, но когда он сравнивает объект, ему это, похоже, не нравится.

 if($time_now>$auction->time_end){ //... }