Make IntRange() return int64