decimal: improve specs