Currently, we are using bytecode intrinsic constant. But this is a bit ugly. We should embed int directly.