In fact, I will also need to wrap floating-point constants like 2.1 as 
BigFloat("2.1"), 
I believe.

(Apologies for the self-replies.)

Reply via email to