// run-pass

pub type T = float;