Add type(bv32) to constant number literals