library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

extension E on core::double show-types core::num {
}
static method expectIdentical(dynamic a, dynamic b) → dynamic {
  if(!core::identical(a, b)) {
    throw "Expected '${a}' and '${b}' to be identical.";
  }
}
static method test(self::E e, core::int value) → dynamic {
  self::expectIdentical(e.{core::num::ceil}(){() → core::int}, value);
}
static method main() → dynamic {
  self::test(3.14, 4);
}