Deprecate float in favor of double.