@example on int64 too large crash #12067

model Test {
  @example(123456789123456789)
  b: int64;
}