Function format_double_java 

pub fn format_double_java(d: f64) -> String

Format an f64 as a short round-trippable decimal: plain notation when 1e-3 <= |d| < 1e7, otherwise scientific notation with uppercase E.