We actually assume integer constants defined in this way are Int64 so no worries. (Read: Int32 doesn't work and may break in subtle ways.)