Specialize symfloats that flow through is_integer (#139572)
Summary:
Fixes `python test/dynamo/test_dynamic_shapes.py DynamicShapesFunctionTests.test_number_method_method_is_integer_num_type6_dynamic_shapes` when specialize_float = False
X-link: https://github.com/pytorch/pytorch/pull/139572
Approved by: https://github.com/ezyang
ghstack dependencies: #139569, #139457, #139568
Reviewed By: ZainRizvi
Differential Revision: D65492888
Pulled By: bobrenjc93
fbshipit-source-id: 9a9881caa5905686c44d8508ce5edab46ab03f28