use hyphen->underscore in last step of emit-symbol
support emitting native javascript division via js-divide