printf for embedded system with floating point support.