fix printf problem in #130

retarget printf to printf_base, port itoa,ltoa,ftoa....
Also, support the floating point printf