New simplification flag



So is there no interest in having a simplification flag which
is analogous to numer but for bfloat computations?

Then I just put it into levin.

Michel