猪拉丁biginteger字面

Question

有没有办法在猪拉丁文字中嵌入一个biginteger文字？

例如

x < 12345678901234567890

其中x是一个大整数。上面给出了语法错误。