Use correct typedef for Binary8 threaded benchmark