Adds a new type of automatically generated tests (for signed numbers).