i32 == f64 * 0.5
