mynewt::sys::console
pub fn printdouble(v: f64)
Write a double to the output buffer, with 6 decimal places.