Number Tutorial

LOTlib/Examples/Tutorial/number.py contains our best attempt.