Searching in src/test/examples/floating_point_annotations