Fix seedrandom (again)

Looks like seedrandom and floatthead caused Travis to break.