Implement scalar_mul().