i64 * (0.5 + i64)
