Another useful but yet undocumented trick to switch faster between alphabetic and numerical keyboard is to just press the ?123 key, slide the finger to reach the key of the number you want to tap, for example 5, and then lift the finger up to release the key. This saves you at least a second every time you do it.