(1 + 0.5) ^ i32
