In //flutter/third_party/accessibility/base/string_utils.cc the NumberToString() functions taking float and double format the value using std::to_string() which emit strings such as "3.000000". Since these values are used by screen readers, we should probably truncate trailing zeros and format either as 3 (consistent with Chromium) or 3.0 (to indicate a decimal value).