Switch to using f64 in examples