add thin wrappers for checked overflow