fix printf problem in #130

retarget printf to printf_base, port itoa,ltoa,ftoa...