Finally found a way to add leading zeros... It's not great, though...