integral_constant does not model Euclidean Ring

consider this:
BOOST_HANA_CONSTANT_CHECK(hana::uint_c<1u << 31> \* hana::uint_c<2> == hana::uint_c<0>);

(p.s.: i love you and your library (nohomo))

Start by reproducing the exact BOOST_HANA_CONSTANT_CHECK expression from the issue and inspect how integral_constant models the Euclidean Ring concept. Done means the shown multiplication and comparison check passes without changing the expected result.

Written by the indexing model from the issue text.