Fix to speed up DEMapValues for BigFloat (gaopt)