i64 ** min(0.5)
