add note about BigFloat