REST API now provides numeric timestamps