Remove is_integer check for cc5d94

Otherwise, calling this function with a menu name (e.g., main_menu)
instead of id, will fail.
Maybe this needs a sanity check: can we really safely remove `is_integer()` here.