9137. 'He shall repay double' means restoration to the complete amount. This is clear from the meaning of 'double' as to the complete amount, dealt with in 9103; and from the meaning of 'making repayment' as making restoration, dealt with in 9087.