fix gmp float handling