add printf_tiny data dependent integer speed footnote