Bug fixed: the operators </ /> were not defined internally in the Numeric classes (but were used).