REST: Force integer (non-quoted) output for record counts.