0.5 ^ i64 < i
