Add test cases for file HexPrec.hs