Manually cast to int (fix for ari webserver)