Cast wall_time to integer.
Otherwise, it comes back from MySQL as a Decimal and causes type conversion woes.