Document BigFloat functions