fix randtest in double_extras