Introduce ExtendedFloat and deprecate BigFloat