division by integer