Solves the BigFloat promotion problem 

Solves the BigFloat promotion problem by adding an extra specific promotion rule