[vitaut]

My bad, you are right. The small integer optimization should be switched to a different output method (or disabled since it doesn't provide much value). Thanks for catching this!

[vitaut]

Should be fixed now.