proper decimals