i64 * 0.5 * i32
