extended_int
