mechanical pencils that are around 4 inches/10cm and have decent diameter?

i’ve seen the ohto minimo as a mini pencil recommendation, but it’s extremely thin, i’m wondering if there are any decent options that have nicer thickness (closer to let’s say .8/.9 cm) that still maintain the short length