Modified secnum.py to provide %secnum magic