SQL: Casting a timestamp as a number uses secs instead of millis

```
SELECT CAST(hire_date AS LONG) FROM test_emp WHERE emp_no = 10001;
```
gives:
```
CAST(hire_date AS LONG)
-----------------------
520128000              
```