base_typed_int
