Filtering for trait Int equal 1 INT