i64 * (i64 + 0.5)
