Dividing or multiplying by a constant