Help me decide my EDC camera pls

Ricoh GR3
>1000€
>tiny and pocketable
>no extra bag needed
>sharp lens

or

Leica Q1
>used 1500€
>full frame
>build quality
>one of the sharpest 28mm lenses
>not as pocketable, need extra bag
>many years old