i32 * i32 * 0.5
