updated jedi options
improved number display