changed MAPlexer.py to convert numeric types from string to float