use the fact that IntegralType.t is private int