use timestamp instead of datetime for REST