Fix bad cast from int to time_point_sec