added getValue() to NumberTerm