flutter - Dart Double to String は時々 5900.0 時々 5900

Question

Flutter 1.26.0-17.8.pre Dart SDK 2.10.4 (Dart Pad から) に基づく

void main() {
  double num = 5900.0;
  if (num.toString() == "5900.0") {
    print(true);
  } else {
    print(false);
  }
}

falseを評価し、

Flutterベース(チャンネル不明、1.26.0-17.8.pre、macOS 11.0.1 20B29 darwin-x64、ロケール en-GB)

上記の同じコードはtrueと評価されます

ドキュメントには、どちらが正しいかについては何も書かれていませんhttps://api.dart.dev/stable/2.10.5/dart-core/double/toString.html