You don't have to declare the type of read s, as it is given by the function type signature.

If you changed jobs.split_at(index) to jobs.split_at(index + 1) you don't have to add v at the end.

Same:

It should work for random inputs too: 1779979416004714189 should equal 1.7799794160047142e+18