add realmin realmax for BigFloat