Don't leave BigFloat functions in UNDOCUMENTED