primitive val I64 is
  SignedInteger[I64 val, U64 val] val

new val create(
  value: I64 val)
: I64 val^

new val from[A: ((I8 val | I16 val | I32 val | 
    I64 val | I128 val | ILong val | 
    ISize val | U8 val | U16 val | 
    U32 val | U64 val | U128 val | 
    ULong val | USize val | F32 val | 
    F64 val) & Real[A] val)](
  a: A)
: I64 val^

new val min_value()
: I64 val^

new val max_value()
: I64 val^

fun box abs()
: U64 val

fun box bit_reverse()
: I64 val

fun box bswap()
: I64 val

fun box popcount()
: U64 val

fun box clz()
: U64 val

fun box ctz()
: U64 val

fun box clz_unsafe()
: U64 val

fun box ctz_unsafe()
: U64 val

fun box bitwidth()
: U64 val

fun box bytewidth()
: USize val

fun box min(
  y: I64 val)
: I64 val

fun box max(
  y: I64 val)
: I64 val

fun box fld(
  y: I64 val)
: I64 val

fun box fld_unsafe(
  y: I64 val)
: I64 val

fun box mod(
  y: I64 val)
: I64 val

fun box mod_unsafe(
  y: I64 val)
: I64 val

fun box hash()
: USize val

fun box addc(
  y: I64 val)
: (I64 val , Bool val)

fun box subc(
  y: I64 val)
: (I64 val , Bool val)

fun box mulc(
  y: I64 val)
: (I64 val , Bool val)

fun box divc(
  y: I64 val)
: (I64 val , Bool val)

fun box remc(
  y: I64 val)
: (I64 val , Bool val)

fun box fldc(
  y: I64 val)
: (I64 val , Bool val)

fun box modc(
  y: I64 val)
: (I64 val , Bool val)

fun box add_partial(
  y: I64 val)
: I64 val ?

fun box sub_partial(
  y: I64 val)
: I64 val ?

fun box mul_partial(
  y: I64 val)
: I64 val ?

fun box div_partial(
  y: I64 val)
: I64 val ?

fun box rem_partial(
  y: I64 val)
: I64 val ?

fun box divrem_partial(
  y: I64 val)
: (I64 val , I64 val) ?

fun box fld_partial(
  y: I64 val)
: I64 val ?

fun box mod_partial(
  y: I64 val)
: I64 val ?

fun box shl(
  y: U64 val)
: I64 val

fun box shr(
  y: U64 val)
: I64 val

fun box shl_unsafe(
  y: U64 val)
: I64 val

fun box shr_unsafe(
  y: U64 val)
: I64 val

fun box string()
: String iso^

fun box add_unsafe(
  y: I64 val)
: I64 val

fun box sub_unsafe(
  y: I64 val)
: I64 val

fun box mul_unsafe(
  y: I64 val)
: I64 val

fun box div_unsafe(
  y: I64 val)
: I64 val

fun box divrem_unsafe(
  y: I64 val)
: (I64 val , I64 val)

fun box rem_unsafe(
  y: I64 val)
: I64 val

fun box neg_unsafe()
: I64 val

fun box op_and(
  y: I64 val)
: I64 val

fun box op_or(
  y: I64 val)
: I64 val

fun box op_xor(
  y: I64 val)
: I64 val

fun box op_not()
: I64 val

fun box add(
  y: I64 val)
: I64 val

fun box sub(
  y: I64 val)
: I64 val

fun box mul(
  y: I64 val)
: I64 val

fun box div(
  y: I64 val)
: I64 val

fun box divrem(
  y: I64 val)
: (I64 val , I64 val)

fun box rem(
  y: I64 val)
: I64 val

fun box neg()
: I64 val

fun box eq(
  y: I64 val)
: Bool val

fun box ne(
  y: I64 val)
: Bool val

fun box lt(
  y: I64 val)
: Bool val

fun box le(
  y: I64 val)
: Bool val

fun box ge(
  y: I64 val)
: Bool val

fun box gt(
  y: I64 val)
: Bool val

fun box hash64()
: U64 val

fun box i8()
: I8 val

fun box i16()
: I16 val

fun box i32()
: I32 val

fun box i64()
: I64 val

fun box i128()
: I128 val

fun box ilong()
: ILong val

fun box isize()
: ISize val

fun box u8()
: U8 val

fun box u16()
: U16 val

fun box u32()
: U32 val

fun box u64()
: U64 val

fun box u128()
: U128 val

fun box ulong()
: ULong val

fun box usize()
: USize val

fun box f32()
: F32 val

fun box f64()
: F64 val

fun box i8_unsafe()
: I8 val

fun box i16_unsafe()
: I16 val

fun box i32_unsafe()
: I32 val

fun box i64_unsafe()
: I64 val

fun box i128_unsafe()
: I128 val

fun box ilong_unsafe()
: ILong val

fun box isize_unsafe()
: ISize val

fun box u8_unsafe()
: U8 val

fun box u16_unsafe()
: U16 val

fun box u32_unsafe()
: U32 val

fun box u64_unsafe()
: U64 val

fun box u128_unsafe()
: U128 val

fun box ulong_unsafe()
: ULong val

fun box usize_unsafe()
: USize val

fun box f32_unsafe()
: F32 val

fun box f64_unsafe()
: F64 val

fun box compare(
  that: I64 val)
: (Less val | Equal val | Greater val)