001package components.naturalnumber;
002
003/**
004 * {@code NaturalNumber} represented as a {@link String} with implementations of
005 * primary methods.
006 *
007 * @convention <pre>
008 * [all characters of $this.rep are '0' through '9']  and
009 * [$this.rep does not start with '0']
010 * </pre>
011 * @correspondence <pre>
012 * this = [if $this.rep = "" then 0
013 *         else the decimal number whose ordinary depiction is $this.rep]
014 * </pre>
015 */
016public class NaturalNumber3 extends NaturalNumberSecondary {
017
018    /*
019     * 2221/2231 assignment code deleted.
020     */
021
022}