half(0.5) ^ (i32 - 1)
