I added example and tests for float annotation