Explicit int32 -> int64 conversions