Un-conditionalize and require a 64-bit integer type.