printf %d for bigints works on parakudo