numerical overflow detection