i bits shift to the right

assert 5u32 >> 1    == 2u32

Property definitions

core $ UInt32 :: >>
	# `i` bits shift to the right
	#
	#     assert 5u32 >> 1    == 2u32
	fun >>(i: Int): UInt32 is intern
lib/core/fixed_ints.nit:631,2--634,33