Created lists of number types (python and numpy).
These are in the prompt.num_types module and are now used by value.set() for argument checking.
Authored by: bugman 2009-07-12
Parent: [r9194]
Child: [r9196]