add leading zeros support for str.to.int