Uses "real" integers.