Switch reg:notation to be an integer for notations which are
syntactically integers