regent: Support numeric flags.
regent: Support numeric flags.

StanfordLegion/legion,sdalton1/legion,chuckatkins/legion,chuckatkins/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,chuckatkins/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion