Add hirk and checkdoubles