type_trait: add small helper that determines a symmetric range for a signed integer type
for which it is safe to take +/-.