{"foo": div}?.i64
