testsuite: Fix broken_without_gmp

Authored by bgamari on Dec 23 2018, 12:34 AM.

Description

testsuite: Fix broken_without_gmp

The lack of types made the previous failure silent, sadly. Improves
situation of Trac #16043.