export type i64 = number;