Update: Fixed visitor, implemented float constraint