float(0.5 ^ i64)
