Mix Int64 and Digit because Int64 is the only class that uses it and don't need to be exposed.