pub type DOUBLE = f64;