ceil/floor/truncate/round return integers.

tests/corelib/int_round_test.dart

Index: tests/corelib/int_round_test.dart
diff --git a/tests/corelib/int_round_test.dart b/tests/corelib/int_round_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..c2edc73c74f763f5a69abe1e1889c11f02200b03
--- /dev/null
+++ b/tests/corelib/int_round_test.dart
@@ -0,0 +1,37 @@
+// Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+main() {
+  Expect.equals(0, 0.round());
+  Expect.equals(1, 1.round());
+  Expect.equals(0x1234, 0x1234.round());
+  Expect.equals(0x12345678, 0x12345678.round());
+  Expect.equals(0x123456789AB, 0x123456789AB.round());
+  Expect.equals(0x123456789ABCDEF, 0x123456789ABCDEF.round());
+  Expect.equals(0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF,
+                0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF.round());
+  Expect.equals(-1, -1.round());
+  Expect.equals(-0x1234, -0x1234.round());
+  Expect.equals(-0x12345678, -0x12345678.round());
+  Expect.equals(-0x123456789AB, -0x123456789AB.round());
+  Expect.equals(-0x123456789ABCDEF, -0x123456789ABCDEF.round());
+  Expect.equals(-0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF,
+                -0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF.round());
+
+  Expect.isTrue(0.round() is int);
+  Expect.isTrue(1.round() is int);
+  Expect.isTrue(0x1234.round() is int);
+  Expect.isTrue(0x12345678.round() is int);
+  Expect.isTrue(0x123456789AB.round() is int);
+  Expect.isTrue(0x123456789ABCDEF.round() is int);
+  Expect.isTrue(
+      0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF.round() is int);
+  Expect.isTrue(-1.round() is int);
+  Expect.isTrue(-0x1234.round() is int);
+  Expect.isTrue(-0x12345678.round() is int);
+  Expect.isTrue(-0x123456789AB.round() is int);
+  Expect.isTrue(-0x123456789ABCDEF.round() is int);
+  Expect.isTrue(
+      -0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF.round() is int);
+}