This is only intended to be used by automatically generated code, instead of developers.
@JS('Number') external int castInt(Object? value);