(1 - 0.5) ^ i32
