float(1 ^ i64)
