Added restrict qualified types to generic overflow-detection macros.