Use int style instead of string.
New test case from MinRK.