return value to int is safe here because it previously checked that
there will be no overflow.