refactored NumberLineNode to use Property.times