0.5 * 0.5 / i32
