Filtering for trait Int equal 4 INT