Fix compile errors; int2digits now works
Lab changes 2 may 2013