Whether Solo tops Ohtani's record deal may depend on math