def __init__(self, value):
NumericConstant.__init__(self, value)
def __init__(self, value):
NumericConstant.__init__(self, value)
def __init__(self, value):
NumericConstant.__init__(self, value)
def __init__(self, value):
NumericConstant.__init__(self, value)