A small footprint printf with floating point support to work with glib/newlib