Add new functions for integer-valued menu options.