Function mynewt::sys::console::console_printdouble

unsafe extern "C" fn console_printdouble(d: f64)

Write a double to the output buffer, with 6 decimal places. C API: void console_printdouble(double d)