Another BigFloat(Inf). Should we define a constant bigInf?