Index: pkg/intl/number_format.dart |
=================================================================== |
--- pkg/intl/number_format.dart (revision 12017) |
+++ pkg/intl/number_format.dart (working copy) |
@@ -156,7 +156,7 @@ |
// point value, in which case we reduce it until it is small enough |
// to be printed as an integer and pad the remainder with zeros. |
var paddingDigits = new StringBuffer(); |
- while (intValue is! int) { |
+ while ((intValue & 0x7fffffff) != intValue) { |
paddingDigits.add(symbols.ZERO_DIGIT); |
intValue = (intValue / 10).toInt(); |
} |