it is called Quantity System http://QuantitySystem.org
and it blends numerical and symbolic in the same context and it supports units in the context of quantities
check the specs and tell me your opinion.