MapInfo is abended when requesting to geocode by address and refined by district using the nearest numbering option.
Attached is a small example in MapBasic to demonstrate this problem.
For this example also follows the street map (st) and the district map (bb), along with the file adresses.txt containing 3 registers:
1 r sao bento 1000 - performs normally although it is numbered beyond the limit.
2 av antonio carlos comitre 2870 – number beyond the limit, abends Mapinfo
3 r abrao mahuad 119 - number correct, abends Mapinfo
I tested with version 12.5.2 (32bits and 64bits), running normally for all 3 cases.
This is happening not only with this map but also with maps of several cities and only for some addresses