On Thu, 19 Feb 2009 10:46:59 +0100, Emmanuel Bernard
this is not the semantic I would naturally apply to number. Not sure.
Why not? I think @Number or @Numeric would work quite well. I guess the
is when you place either one of a String. I agree that
@Number-/@NumericRepresentation is in
this case more accurate, but I could live with the shorter name. I think
the intention is still