I added example and tests for float annotation
I think I am done with the annotations and tests
I made a few changes to the tests