Fix build
If we use "smallInteger 0#" in the definitions, then that turns into an Integer literal, but the compiler can't handle Integer literals while compiling the integer package (as it can't look up the mkInteger Id yet).
Please register or sign in to comment