Symbol: cas_pint