\ decimaltum , enligt dito;