Rewrite test/Integer tests to use FileCheck instead of grep