Bug fix - integer rounding (Marian)

No match.