J.J. Redick is a man of ... math.