Google Embedded Life: C code to convert floating point value to ASCII array