use an sql timestamp explicitly