Document pitfalls with BigFloat