Security of Smart Contracts 1: Overflow