[math-fun] 1000s of rogue planets per star?