I installed Better Terminal Emulator Magic from AndAppStore, and that worked with the numeric keys fine.