0.5 * i32 in [f64]
