max(i64 * 0.5)
