command + F12 （F12这个需要按住fn）或者  command + 7

从 Dart 2.1 开始，整型字面量将会在必要的时候自动转换成浮点数字面量：

As of Dart 2.1, integer literals are automatically converted to doubles when necessary:

double z = 1; // Equivalent to double z = 1.0.

 版本提示:

在 Dart 2.1 之前，在浮点数上下文中使用整数字面量是错误的。

强制类型转换

var a;
a = 10;
a = "Hello Dart";

a先被定义但是没有被赋值，所以a被dart定义为dynamic类型，默认值是null，我们可以给dynamic类型不断地赋予任何值。

var a = 10;
a = "Hello Dart";

这里直接会报编译错误，原因是声明a的同时给a赋值，这样会dart会通过类型推断使得a变成数值类型，由于已经确定了类型，所以不能再赋字符串给a了。

20除以10.5取余数就是9.5（dart不会舍弃小数）

double c = 9.88;

c = 9;

print(c); // 9.0

Dart官网

可以在官网系统学习