// run-pass

pub type T = f64;