Symbol: MAXMIN64