Fixed visitor, implemented float constraint