That's a type of what?

So I'm playing around with the Dartboard again this morning. Firstly, dartboard is purportedly an interface which sends the Dart code to the dart VM on a server, and displays to output, as opposed to compiling the script to javascript. This is of particular note, as I will mention briefly.

First, the code. Here's the link: http://try.dartlang.org/s/csQn

main() {
  int x = 10;
  double y = 10.3282;
  print(x is Dynamic);
  print(x is num);
  print(x is double); // Int is a double? (plausible granted)
  print(y is int); // Double is an int?? (bye bye precision?)
  print(x is bool);
  print(y is bool);
}

And the results:

true
true
true
true
false
false

That's right. Not only is an int a double, but a double is an int. I previously mentioned the fact that we are supposed to be connected to the dart VM through the dartboard is of significance, as this topic has come up within the dart groups. In particular, Peter Ahé mentions:

Dart is a new programming language. If you want to see it as we intended it to work, use the Dart VM.

On the Dart VM, int and double are different.

Now I realize that Dart is 1) still a new language under development and has bugs still to be worked out and 2) Primarily designed to be a dynamic language. However I can see issues arising from this in a few special cases. Additionally, based on Seth Ladd's blog post:

The is check is not affected by the declared types, instead it is checking what the type of the variable actually is.

Unfortunately at this time I do not have the Dart VM compiled and installed on my local machine which is why I've been relying on the dartboard for the time being. If anyone has the VM installed please try running the above and let me know if your results differ.