Num -package:base-prelude -package:base-compat package:checkers

Token Num type for tests
Generates a digit character.