max(i64 * 1)
