i32 / 0.5 * i
