“Jane Street's bonus pool for the year is $9.4 billion.”