fix BigFloat print() not to show precision
fix BigFloat isfinite(), add inf() and nan() for BigFloat