% Adapted from Logtalk eddbali_number_chars_2_16. Modified for Eyepl's harness.
% See test/conformance/THIRD_PARTY.md.
%% goal: number_chars(_, _)