Fix #7981: Cast of nullable object to int is not use to enforce non null object.

Fix #7981: Cast of nullable object to int is not use to enforce non null object. #12541