Drop leading zeros when printing numbers