Filtering for trait Int equal 2 INT