-1 < 0.5 ^ i64
