Add RFC on avoiding integer overflow.