write_number() does the actual writing of the supplied
number to destination. Move finding the option and choosing destination
address out of it.