This is only intended to be used by automatically generated code, instead of developers.
int castInt(Object? value) => value as int;