Module numeric_assertion

Source