i32 + 0.5 * i32
