Quick fix for the floating point printer Forgot to make it C-friendly by encapsulating the 'extern "C"' in an '#ifdef __cplusplus' block. Change-Id: I62988f4dea725f119027224d7d7beac1556c2621