bleem整数被证实了吗