Added code to print integers as decimal digits, with or wihtout leading zeros.