Now that maxima is basically case-sensitive, can we make maxima print out bigfloats with a lowercase b instead of uppercase B for the exponent marker? I find this much easier to see and read. Ray