Number exact matching and proximity search
Modifiy ranking according to [#635]
Fine tuning
Merge pull request #635 from geoadmin/gal_search_int

Number exact matching and proximity search