fn main() {

fn zero<T: Default>() -> T { T::default() }
let half = zero::<f64>() + 0.5;

assert_eq!(half,0.5);
}