<?php

/**
 * This class is the class that represents symbols of type "number".
 * Numbers are completely handled by the tokenizer/parser so there is no need to
 * create more than this concrete, empty number class that does not specify
 * a textual representation of numbers (numbers always consist of digits
 * and may include a single dot).
 */
class Forminator_Calculator_Symbol_Number extends Forminator_Calculator_Symbol_Abstract {

}
