[gearwheel] better default wheel-hollow internal diameter