Explicit cast necessary; shouldn't overflow ever