fix some Integer to BigFloat conversions