hack to make list of numbers definable in DefineConstants + on the command line with -setlistofnumbers