type(min(i64))
